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/ModelViewer/ModelViewer.csproj | |
parent | ff340131dc847849f81c28575c0add5598095cb3 (diff) |
CVC4 Parser
Diffstat (limited to 'Source/ModelViewer/ModelViewer.csproj')
-rw-r--r-- | Source/ModelViewer/ModelViewer.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index ae46767b..46f80673 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -97,6 +97,8 @@ <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
<CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
<CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+ <WarningLevel>4</WarningLevel>
+ <Optimize>false</Optimize>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
@@ -123,6 +125,7 @@ <DependentUpon>Main.cs</DependentUpon>
</Compile>
<Compile Include="..\Model\Model.cs" />
+ <Compile Include="..\Model\ModelParser.cs" />
<Compile Include="Namer.cs" />
<Compile Include="Program.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
|