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/ParserHelper | |
parent | ff340131dc847849f81c28575c0add5598095cb3 (diff) |
CVC4 Parser
Diffstat (limited to 'Source/ParserHelper')
-rw-r--r-- | Source/ParserHelper/ParserHelper.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj index cd665a75..f8155b61 100644 --- a/Source/ParserHelper/ParserHelper.csproj +++ b/Source/ParserHelper/ParserHelper.csproj @@ -99,6 +99,8 @@ <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
<CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
<CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+ <WarningLevel>4</WarningLevel>
+ <Optimize>false</Optimize>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
|