1 <?xml version="1.0" encoding="Windows-1252"?>
3 ProjectType="Visual C++"
5 Name="vc9_test_partial_interval_quantifier"
6 ProjectGUID="{EE61B7EF-EC45-4165-8B4A-FD5B7D2A9F9F}"
7 RootNamespace="Test_partial_interval_quantifier"
9 TargetFrameworkVersion="131072"
21 OutputDirectory="../../../../bin/debug/"
22 IntermediateDirectory="../../../../bin/obj/$(ProjectName)/debug/"
27 Name="VCPreBuildEventTool"
30 Name="VCCustomBuildTool"
33 Name="VCXMLDataGeneratorTool"
36 Name="VCWebServiceProxyGeneratorTool"
42 Name="VCCLCompilerTool"
43 AdditionalOptions="/bigobj"
45 AdditionalIncludeDirectories="../../../../"
46 PreprocessorDefinitions="WIN32;_DEBUG;_CONSOLE"
48 BasicRuntimeChecks="3"
50 UsePrecompiledHeader="0"
52 Detect64BitPortabilityProblems="false"
53 DebugInformationFormat="4"
56 Name="VCManagedResourceCompilerTool"
59 Name="VCResourceCompilerTool"
62 Name="VCPreLinkEventTool"
66 OutputFile="../../../../bin/debug/$(ProjectName).exe"
68 AdditionalLibraryDirectories="../../../../lib; ../../../../stage/lib"
69 GenerateDebugInformation="true"
71 RandomizedBaseAddress="1"
72 DataExecutionPrevention="0"
91 Name="VCAppVerifierTool"
94 Name="VCPostBuildEventTool"
99 OutputDirectory="../../../../bin/release/"
100 IntermediateDirectory="../../../../bin/obj/$(ProjectName)/release/"
101 ConfigurationType="1"
103 WholeProgramOptimization="1"
106 Name="VCPreBuildEventTool"
109 Name="VCCustomBuildTool"
112 Name="VCXMLDataGeneratorTool"
115 Name="VCWebServiceProxyGeneratorTool"
121 Name="VCCLCompilerTool"
122 AdditionalIncludeDirectories="../../../../"
123 PreprocessorDefinitions="WIN32;NDEBUG;_CONSOLE"
125 UsePrecompiledHeader="0"
127 Detect64BitPortabilityProblems="false"
128 DebugInformationFormat="3"
131 Name="VCManagedResourceCompilerTool"
134 Name="VCResourceCompilerTool"
137 Name="VCPreLinkEventTool"
141 OutputFile="../../../../bin/release/$(ProjectName).exe"
143 AdditionalLibraryDirectories="../../../../lib; ../../../../stage/lib"
144 GenerateDebugInformation="true"
146 OptimizeReferences="2"
147 EnableCOMDATFolding="2"
148 RandomizedBaseAddress="1"
149 DataExecutionPrevention="0"
156 Name="VCManifestTool"
168 Name="VCAppVerifierTool"
171 Name="VCPostBuildEventTool"
180 Filter="cpp;c;cc;cxx;def;odl;idl;hpj;bat;asm;asmx"
181 UniqueIdentifier="{4FC737F1-C7A5-4376-A066-2A32D752A2FF}"
184 RelativePath=".\test_partial_interval_quantifier.cpp"
190 Filter="h;hpp;hxx;hm;inl;inc;xsd"
191 UniqueIdentifier="{93995380-89BD-4b04-88EB-625FBE52EBFB}"
194 RelativePath="..\test_type_lists.hpp"
199 Name="Resource Files"
200 Filter="rc;ico;cur;bmp;dlg;rc2;rct;bin;rgs;gif;jpg;jpeg;jpe;resx;tiff;tif;png;wav"
201 UniqueIdentifier="{67DA6AB6-F800-4c08-8B7A-83BB121AAD01}"
207 </VisualStudioProject>