21
21
<IncludeDebugSymbolsInLocalVSIXDeployment >false</IncludeDebugSymbolsInLocalVSIXDeployment >
22
22
<CopyBuildOutputToOutputDirectory >true</CopyBuildOutputToOutputDirectory >
23
23
<CopyOutputSymbolsToOutputDirectory >false</CopyOutputSymbolsToOutputDirectory >
24
- <CodeContractsAssemblyMode >1</CodeContractsAssemblyMode >
25
24
<SolutionDir Condition =" $(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'" >..\</SolutionDir >
26
25
</PropertyGroup >
27
26
<PropertyGroup >
47
46
<DefineConstants >DEBUG;TRACE</DefineConstants >
48
47
<ErrorReport >prompt</ErrorReport >
49
48
<WarningLevel >4</WarningLevel >
50
- <CodeContractsEnableRuntimeChecking >True</CodeContractsEnableRuntimeChecking >
51
- <CodeContractsRuntimeOnlyPublicSurface >False</CodeContractsRuntimeOnlyPublicSurface >
52
- <CodeContractsRuntimeThrowOnFailure >True</CodeContractsRuntimeThrowOnFailure >
53
- <CodeContractsRuntimeCallSiteRequires >False</CodeContractsRuntimeCallSiteRequires >
54
- <CodeContractsRunCodeAnalysis >False</CodeContractsRunCodeAnalysis >
55
- <CodeContractsNonNullObligations >False</CodeContractsNonNullObligations >
56
- <CodeContractsBoundsObligations >False</CodeContractsBoundsObligations >
57
- <CodeContractsArithmeticObligations >False</CodeContractsArithmeticObligations >
58
- <CodeContractsContainerAnalysis >False</CodeContractsContainerAnalysis >
59
- <CodeContractsRedundantAssumptions >False</CodeContractsRedundantAssumptions >
60
- <CodeContractsRunInBackground >True</CodeContractsRunInBackground >
61
- <CodeContractsShowSquigglies >False</CodeContractsShowSquigglies >
62
- <CodeContractsUseBaseLine >False</CodeContractsUseBaseLine >
63
- <CodeContractsEmitXMLDocs >False</CodeContractsEmitXMLDocs >
64
- <CodeContractsCustomRewriterAssembly />
65
- <CodeContractsCustomRewriterClass />
66
- <CodeContractsLibPaths />
67
- <CodeContractsExtraRewriteOptions />
68
- <CodeContractsExtraAnalysisOptions />
69
- <CodeContractsBaseLineFile />
70
- <CodeContractsRuntimeCheckingLevel >ReleaseRequires</CodeContractsRuntimeCheckingLevel >
71
- <CodeContractsReferenceAssembly >Build</CodeContractsReferenceAssembly >
72
- <CodeContractsRuntimeSkipQuantifiers >False</CodeContractsRuntimeSkipQuantifiers >
73
- <CodeContractsEnumObligations >False</CodeContractsEnumObligations >
74
- <CodeContractsCacheAnalysisResults >False</CodeContractsCacheAnalysisResults >
75
- <CodeContractsAnalysisWarningLevel >0</CodeContractsAnalysisWarningLevel >
76
49
</PropertyGroup >
77
50
<PropertyGroup Condition =" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' " >
78
51
<DebugType >pdbonly</DebugType >
81
54
<DefineConstants >TRACE</DefineConstants >
82
55
<ErrorReport >prompt</ErrorReport >
83
56
<WarningLevel >4</WarningLevel >
84
- <CodeContractsEnableRuntimeChecking >True</CodeContractsEnableRuntimeChecking >
85
- <CodeContractsRuntimeOnlyPublicSurface >False</CodeContractsRuntimeOnlyPublicSurface >
86
- <CodeContractsRuntimeThrowOnFailure >True</CodeContractsRuntimeThrowOnFailure >
87
- <CodeContractsRuntimeCallSiteRequires >False</CodeContractsRuntimeCallSiteRequires >
88
- <CodeContractsRunCodeAnalysis >False</CodeContractsRunCodeAnalysis >
89
- <CodeContractsNonNullObligations >False</CodeContractsNonNullObligations >
90
- <CodeContractsBoundsObligations >False</CodeContractsBoundsObligations >
91
- <CodeContractsArithmeticObligations >False</CodeContractsArithmeticObligations >
92
- <CodeContractsContainerAnalysis >False</CodeContractsContainerAnalysis >
93
- <CodeContractsRedundantAssumptions >False</CodeContractsRedundantAssumptions >
94
- <CodeContractsRunInBackground >True</CodeContractsRunInBackground >
95
- <CodeContractsShowSquigglies >False</CodeContractsShowSquigglies >
96
- <CodeContractsUseBaseLine >False</CodeContractsUseBaseLine >
97
- <CodeContractsEmitXMLDocs >False</CodeContractsEmitXMLDocs >
98
- <CodeContractsCustomRewriterAssembly />
99
- <CodeContractsCustomRewriterClass />
100
- <CodeContractsLibPaths />
101
- <CodeContractsExtraRewriteOptions />
102
- <CodeContractsExtraAnalysisOptions />
103
- <CodeContractsBaseLineFile />
104
- <CodeContractsRuntimeCheckingLevel >ReleaseRequires</CodeContractsRuntimeCheckingLevel >
105
- <CodeContractsReferenceAssembly >DoNotBuild</CodeContractsReferenceAssembly >
106
57
</PropertyGroup >
107
58
<ItemGroup >
108
59
<Reference Include =" Microsoft.VisualStudio.CoreUtility, Version=10.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL" >
170
121
<Target Name="AfterBuild">
171
122
</Target>
172
123
-->
173
- </Project >
124
+ </Project >
0 commit comments