removed bitvector analysis from Boogie

an advanced version has been moved to Corral

1 files changed, 0 insertions, 9 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 95b57a74..b9d6800c 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -482,8 +482,6 @@ namespace Microsoft.Boogie {
     }

     public bool ExpandLambdas = true; // not useful from command line, only to be set to false programatically

     public bool DoModSetAnalysis = false;

-    public bool DoBitVectorAnalysis = false;

-    public string BitVectorAnalysisOutputBplFile = null;

     public bool UseAbstractInterpretation = true;          // true iff the user want to use abstract interpretation

     public int  /*0..9*/StepsBeforeWidening = 0;           // The number of steps that must be done before applying a widen operator

 

@@ -1318,13 +1316,6 @@ namespace Microsoft.Boogie {
 			}

 			return true;

 

-        case "doBitVectorAnalysis":

-          DoBitVectorAnalysis = true;

-          if (ps.ConfirmArgumentCount(1)) {

-            BitVectorAnalysisOutputBplFile = args[ps.i];

-          }

-          return true;

-

         default:

           bool optionValue = false;

           if (ps.CheckBooleanFlag("printUnstructured", ref optionValue)) {