1 files changed, 17 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 46d2c064..e94367ad 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -395,6 +395,7 @@ namespace Microsoft.Boogie {
     public bool ContractInfer = false;
     public bool ExplainHoudini = false;
     public bool HoudiniUseCrossDependencies = false;
+    public int StagedHoudini = 0;
     public string AbstractHoudini = null;
     public bool UseUnsatCoreForContractInfer = false;
     public bool PrintAssignment = false;
@@ -490,6 +491,7 @@ namespace Microsoft.Boogie {
 
     public bool RemoveEmptyBlocks = true;
     public bool CoalesceBlocks = true;
+    public bool PruneInfeasibleEdges = true;
 
     [Rep]
     public ProverFactory TheProverFactory;
@@ -861,6 +863,21 @@ namespace Microsoft.Boogie {
             return true;
           }
 
+        case "noPruneInfeasibleEdges": {
+            if (ps.ConfirmArgumentCount(0)) {
+              PruneInfeasibleEdges = false;
+            }
+            return true;
+        }
+
+        case "stagedHoudini": {
+            int sh = 0;
+            if (ps.GetNumericArgument(ref sh, 3)) {
+              StagedHoudini = sh;
+            }
+            return true;
+          }
+
         case "abstractHoudini":
             {
                 if (ps.ConfirmArgumentCount(1))