diff options
| author |  mikebarnett <unknown> | 2011-03-14 21:32:01 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2011-03-14 21:32:01 +0000 |
| commit | cbb8b96f2690cb6a0756279e54e72b95d9afd596 (patch) | |
| tree | 584c2d08ea34bf5550c770539d8225c9eb950950 /Source/Provers/TPTP | |
| parent | b318ad7c93417dbd7dfb10dd14ed5930837d591e (diff) | |
Turn off quantifier checking in the runtime checking.
Diffstat (limited to 'Source/Provers/TPTP')
| -rw-r--r-- | Source/Provers/TPTP/TPTP.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/TPTP/TPTP.csproj b/Source/Provers/TPTP/TPTP.csproj index 564b33f3..b0f32350 100644 --- a/Source/Provers/TPTP/TPTP.csproj +++ b/Source/Provers/TPTP/TPTP.csproj @@ -49,7 +49,7 @@ <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
- <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
+ <CodeContractsRuntimeSkipQuantifiers>True</CodeContractsRuntimeSkipQuantifiers>
<CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>
<CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>
<CodeContractsBoundsObligations>False</CodeContractsBoundsObligations>
|