From cbb8b96f2690cb6a0756279e54e72b95d9afd596 Mon Sep 17 00:00:00 2001 From: mikebarnett Date: Mon, 14 Mar 2011 21:32:01 +0000 Subject: Turn off quantifier checking in the runtime checking. --- Source/AIFramework/AIFramework.csproj | 2 +- Source/AbsInt/AbsInt.csproj | 2 +- Source/Basetypes/Basetypes.csproj | 2 +- Source/BoogieDriver/BoogieDriver.csproj | 2 +- Source/CodeContractsExtender/CodeContractsExtender.csproj | 2 +- Source/Core/Core.csproj | 2 +- Source/Graph/Graph.csproj | 2 +- Source/Model/Model.csproj | 2 +- Source/ModelViewer/ModelViewer.csproj | 2 +- Source/ParserHelper/ParserHelper.csproj | 2 +- Source/Provers/Isabelle/Isabelle.csproj | 2 +- Source/Provers/SMTLib/SMTLib.csproj | 2 +- Source/Provers/Simplify/Simplify.csproj | 2 +- Source/Provers/TPTP/TPTP.csproj | 2 +- Source/Provers/Z3/Z3.csproj | 2 +- Source/Provers/Z3api/Z3api.csproj | 2 +- Source/VCExpr/VCExpr.csproj | 2 +- Source/VCGeneration/VCGeneration.csproj | 2 +- 18 files changed, 18 insertions(+), 18 deletions(-) diff --git a/Source/AIFramework/AIFramework.csproj b/Source/AIFramework/AIFramework.csproj index 22e115ba..98723d85 100644 --- a/Source/AIFramework/AIFramework.csproj +++ b/Source/AIFramework/AIFramework.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj index 454fc081..cdab384a 100644 --- a/Source/AbsInt/AbsInt.csproj +++ b/Source/AbsInt/AbsInt.csproj @@ -118,7 +118,7 @@ False True False - False + True False False False diff --git a/Source/Basetypes/Basetypes.csproj b/Source/Basetypes/Basetypes.csproj index ceccc5cf..44b3ff41 100644 --- a/Source/Basetypes/Basetypes.csproj +++ b/Source/Basetypes/Basetypes.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index af0926fe..62fd8391 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/CodeContractsExtender/CodeContractsExtender.csproj b/Source/CodeContractsExtender/CodeContractsExtender.csproj index 9473cf40..b11a5c8b 100644 --- a/Source/CodeContractsExtender/CodeContractsExtender.csproj +++ b/Source/CodeContractsExtender/CodeContractsExtender.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj index c3ef425f..ba339691 100644 --- a/Source/Core/Core.csproj +++ b/Source/Core/Core.csproj @@ -117,7 +117,7 @@ False True False - False + True False False False diff --git a/Source/Graph/Graph.csproj b/Source/Graph/Graph.csproj index 718ced5d..77b92fb4 100644 --- a/Source/Graph/Graph.csproj +++ b/Source/Graph/Graph.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj index a14dde8e..0f9b135d 100644 --- a/Source/Model/Model.csproj +++ b/Source/Model/Model.csproj @@ -55,7 +55,7 @@ False True False - False + True False False False diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index 6262ae2f..bc32ab32 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -75,7 +75,7 @@ False True False - False + True False False False diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj index cd665a75..480c742d 100644 --- a/Source/ParserHelper/ParserHelper.csproj +++ b/Source/ParserHelper/ParserHelper.csproj @@ -77,7 +77,7 @@ False True False - False + True False False False diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 0593ee45..e6183862 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -117,7 +117,7 @@ False True False - False + True False False False diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 3bec2e62..d4a91eda 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index 81d2f90a..80a832c0 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False 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 @@ False True False - False + True False False False diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index e559b663..9b8d09d6 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index 05cc8f9f..3bddaef2 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -86,7 +86,7 @@ False True False - False + True False False False diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj index 18455b6e..ff438b56 100644 --- a/Source/VCExpr/VCExpr.csproj +++ b/Source/VCExpr/VCExpr.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index fe1c9ca3..1d4cc566 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -115,7 +115,7 @@ False True False - False + True False False False -- cgit v1.2.3