diff options
| author |  mikebarnett <unknown> | 2011-03-16 15:49:53 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2011-03-16 15:49:53 +0000 |
| commit | bb2b6bafa3d4308939b1aede702ccf2272bb54d8 (patch) | |
| tree | 955915fc406845d8ed66470386597213a08981f6 /Source/Provers/Z3api | |
| parent | f204ba1c4715979cabab3305244cded50d4cb445 (diff) | |
Re-enabled quantifier checking in the Checked configuration.
Diffstat (limited to 'Source/Provers/Z3api')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index 3bddaef2..05cc8f9f 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -86,7 +86,7 @@ <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
- <CodeContractsRuntimeSkipQuantifiers>True</CodeContractsRuntimeSkipQuantifiers>
+ <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
<CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>
<CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>
<CodeContractsBoundsObligations>False</CodeContractsBoundsObligations>
|