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/Model/Model.csproj | |
parent | ff340131dc847849f81c28575c0add5598095cb3 (diff) |
CVC4 Parser
Diffstat (limited to 'Source/Model/Model.csproj')
-rw-r--r-- | Source/Model/Model.csproj | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj index a14dde8e..a7255433 100644 --- a/Source/Model/Model.csproj +++ b/Source/Model/Model.csproj @@ -36,7 +36,7 @@ <SignAssembly>true</SignAssembly>
</PropertyGroup>
<PropertyGroup>
- <AssemblyOriginatorKeyFile>../InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Checked|AnyCPU'">
<DebugSymbols>true</DebugSymbols>
@@ -77,12 +77,15 @@ <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
<CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
<CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+ <WarningLevel>4</WarningLevel>
+ <Optimize>false</Optimize>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
</ItemGroup>
<ItemGroup>
<Compile Include="Model.cs" />
+ <Compile Include="ModelParser.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="..\version.cs" />
</ItemGroup>
|