Minor changes to the "Checked" build configuration

1 files changed, 46 insertions, 3 deletions

diff --git a/Source/Predication/Predication.csproj b/Source/Predication/Predication.csproj
index f1def7a4..9c32b379 100644
--- a/Source/Predication/Predication.csproj
+++ b/Source/Predication/Predication.csproj
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>

+<?xml version="1.0" encoding="utf-8"?>

 <Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">

   <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />

   <PropertyGroup>

@@ -11,7 +11,7 @@
     <AssemblyName>Predication</AssemblyName>

     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>

     <FileAlignment>512</FileAlignment>

-    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>

+    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile>

     <ProductVersion>12.0.0</ProductVersion>

     <SchemaVersion>2.0</SchemaVersion>

     <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>

@@ -24,6 +24,49 @@
     <DefineConstants>DEBUG;TRACE</DefineConstants>

     <ErrorReport>prompt</ErrorReport>

     <WarningLevel>4</WarningLevel>

+    <CodeContractsEnableRuntimeChecking>False</CodeContractsEnableRuntimeChecking>

+    <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>

+    <CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>

+    <CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>

+    <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>

+    <CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>

+    <CodeContractsNonNullObligations>True</CodeContractsNonNullObligations>

+    <CodeContractsBoundsObligations>True</CodeContractsBoundsObligations>

+    <CodeContractsArithmeticObligations>True</CodeContractsArithmeticObligations>

+    <CodeContractsEnumObligations>True</CodeContractsEnumObligations>

+    <CodeContractsRedundantAssumptions>True</CodeContractsRedundantAssumptions>

+    <CodeContractsAssertsToContractsCheckBox>True</CodeContractsAssertsToContractsCheckBox>

+    <CodeContractsRedundantTests>True</CodeContractsRedundantTests>

+    <CodeContractsMissingPublicRequiresAsWarnings>True</CodeContractsMissingPublicRequiresAsWarnings>

+    <CodeContractsMissingPublicEnsuresAsWarnings>False</CodeContractsMissingPublicEnsuresAsWarnings>

+    <CodeContractsInferRequires>True</CodeContractsInferRequires>

+    <CodeContractsInferEnsures>False</CodeContractsInferEnsures>

+    <CodeContractsInferEnsuresAutoProperties>True</CodeContractsInferEnsuresAutoProperties>

+    <CodeContractsInferObjectInvariants>False</CodeContractsInferObjectInvariants>

+    <CodeContractsSuggestAssumptions>False</CodeContractsSuggestAssumptions>

+    <CodeContractsSuggestAssumptionsForCallees>False</CodeContractsSuggestAssumptionsForCallees>

+    <CodeContractsSuggestRequires>False</CodeContractsSuggestRequires>

+    <CodeContractsNecessaryEnsures>True</CodeContractsNecessaryEnsures>

+    <CodeContractsSuggestObjectInvariants>False</CodeContractsSuggestObjectInvariants>

+    <CodeContractsSuggestReadonly>True</CodeContractsSuggestReadonly>

+    <CodeContractsRunInBackground>True</CodeContractsRunInBackground>

+    <CodeContractsShowSquigglies>True</CodeContractsShowSquigglies>

+    <CodeContractsUseBaseLine>False</CodeContractsUseBaseLine>

+    <CodeContractsEmitXMLDocs>False</CodeContractsEmitXMLDocs>

+    <CodeContractsCustomRewriterAssembly />

+    <CodeContractsCustomRewriterClass />

+    <CodeContractsLibPaths />

+    <CodeContractsExtraRewriteOptions />

+    <CodeContractsExtraAnalysisOptions />

+    <CodeContractsSQLServerOption />

+    <CodeContractsBaseLineFile />

+    <CodeContractsCacheAnalysisResults>True</CodeContractsCacheAnalysisResults>

+    <CodeContractsSkipAnalysisIfCannotConnectToCache>False</CodeContractsSkipAnalysisIfCannotConnectToCache>

+    <CodeContractsFailBuildOnWarnings>False</CodeContractsFailBuildOnWarnings>

+    <CodeContractsBeingOptimisticOnExternal>True</CodeContractsBeingOptimisticOnExternal>

+    <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>

+    <CodeContractsReferenceAssembly>DoNotBuild</CodeContractsReferenceAssembly>

+    <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>

   </PropertyGroup>

   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">

     <DebugType>pdbonly</DebugType>

@@ -129,4 +172,4 @@
   <Target Name="AfterBuild">

   </Target>

   -->

-</Project>

+</Project>
\ No newline at end of file