z3-z3-4.13.0.contrib.qprofdiff.qprofdiff.vcxproj Maven / Gradle / Ivy
The newest version!
Debug
Win32
Release
Win32
Debug
x64
Release
x64
15.0
{96E7E3EF-4162-474D-BD32-C702632AAF2B}
qprofdiff
8.1
Application
true
v141
NotSet
Application
false
v141
true
MultiByte
Application
true
v141
MultiByte
Application
false
v141
true
MultiByte
$(IncludePath)
$(LibraryPath)
$(IncludePath)
$(LibraryPath)
Level3
Disabled
true
MultiThreadedDebugDLL
..\..\src\util;%(AdditionalIncludeDirectories)
ProgramDatabase
$(LibraryPath);%(AdditionalLibraryDirectories)
Level3
Disabled
true
..\..\src\util;%(AdditionalIncludeDirectories)
Level3
MaxSpeed
true
true
true
..\..\src\util;%(AdditionalIncludeDirectories)
true
true
Level3
MaxSpeed
true
true
true
..\..\src\util;%(AdditionalIncludeDirectories)
true
true