From bb2b6bafa3d4308939b1aede702ccf2272bb54d8 Mon Sep 17 00:00:00 2001 From: mikebarnett Date: Wed, 16 Mar 2011 15:49:53 +0000 Subject: Re-enabled quantifier checking in the Checked configuration. --- 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 98723d85..22e115ba 100644 --- a/Source/AIFramework/AIFramework.csproj +++ b/Source/AIFramework/AIFramework.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj index cdab384a..454fc081 100644 --- a/Source/AbsInt/AbsInt.csproj +++ b/Source/AbsInt/AbsInt.csproj @@ -118,7 +118,7 @@ False True False - True + False False False False diff --git a/Source/Basetypes/Basetypes.csproj b/Source/Basetypes/Basetypes.csproj index 44b3ff41..ceccc5cf 100644 --- a/Source/Basetypes/Basetypes.csproj +++ b/Source/Basetypes/Basetypes.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 62fd8391..af0926fe 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/CodeContractsExtender/CodeContractsExtender.csproj b/Source/CodeContractsExtender/CodeContractsExtender.csproj index b11a5c8b..9473cf40 100644 --- a/Source/CodeContractsExtender/CodeContractsExtender.csproj +++ b/Source/CodeContractsExtender/CodeContractsExtender.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj index ba339691..c3ef425f 100644 --- a/Source/Core/Core.csproj +++ b/Source/Core/Core.csproj @@ -117,7 +117,7 @@ False True False - True + False False False False diff --git a/Source/Graph/Graph.csproj b/Source/Graph/Graph.csproj index 77b92fb4..718ced5d 100644 --- a/Source/Graph/Graph.csproj +++ b/Source/Graph/Graph.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj index 0f9b135d..a14dde8e 100644 --- a/Source/Model/Model.csproj +++ b/Source/Model/Model.csproj @@ -55,7 +55,7 @@ False True False - True + False False False False diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index bc32ab32..6262ae2f 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -75,7 +75,7 @@ False True False - True + False False False False diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj index 480c742d..cd665a75 100644 --- a/Source/ParserHelper/ParserHelper.csproj +++ b/Source/ParserHelper/ParserHelper.csproj @@ -77,7 +77,7 @@ False True False - True + False False False False diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index e6183862..0593ee45 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -117,7 +117,7 @@ False True False - True + False False False False diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index d4a91eda..3bec2e62 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index 80a832c0..81d2f90a 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/Provers/TPTP/TPTP.csproj b/Source/Provers/TPTP/TPTP.csproj index b0f32350..564b33f3 100644 --- a/Source/Provers/TPTP/TPTP.csproj +++ b/Source/Provers/TPTP/TPTP.csproj @@ -49,7 +49,7 @@ False True False - True + False False False False diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index 9b8d09d6..e559b663 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False 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 @@ False True False - True + False False False False diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj index ff438b56..18455b6e 100644 --- a/Source/VCExpr/VCExpr.csproj +++ b/Source/VCExpr/VCExpr.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index ff10acbe..5b2541a9 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -115,7 +115,7 @@ False True False - True + False False False False -- cgit v1.2.3