diff options
| author |  pantazis <pdeligia@me.com> | 2013-06-12 03:19:31 +0100 |
|---|---|---|
| committer | pantazis <pdeligia@me.com> | 2013-06-12 03:19:31 +0100 |
| commit | 5e70254714df8e3a7db1532f283a89a515a96f12 (patch) | |
| tree | c4baa2454dac22d1d3a99ee56d43e35c7bebfa94 /Source/CodeContractsExtender | |
| parent | ff340131dc847849f81c28575c0add5598095cb3 (diff) | |
CVC4 Parser
Diffstat (limited to 'Source/CodeContractsExtender')
| -rw-r--r-- | Source/CodeContractsExtender/CodeContractsExtender.csproj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/CodeContractsExtender/CodeContractsExtender.csproj b/Source/CodeContractsExtender/CodeContractsExtender.csproj index 9473cf40..f307e35e 100644 --- a/Source/CodeContractsExtender/CodeContractsExtender.csproj +++ b/Source/CodeContractsExtender/CodeContractsExtender.csproj @@ -97,6 +97,8 @@ <ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>Migrated rules for CodeContractsExtender.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
+ <WarningLevel>4</WarningLevel>
+ <Optimize>false</Optimize>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Checked|AnyCPU'">
<DebugSymbols>true</DebugSymbols>
@@ -137,6 +139,8 @@ <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
<CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
<CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+ <WarningLevel>4</WarningLevel>
+ <Optimize>false</Optimize>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
|