Added /printFixedPoint option

1 files changed, 10 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 03e2ce17..98086cf0 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -593,7 +593,6 @@ namespace Microsoft.Boogie {
     public bool PrintInlined = false;

     public bool ExtractLoops = false;

     public bool DeterministicExtractLoops = false;

-    public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)

     public int StratifiedInlining = 0;

     public string FixedPointEngine = null;

     public int StratifiedInliningOption = 0;

@@ -612,6 +611,10 @@ namespace Microsoft.Boogie {
        Call

     };

     public FixedPointInferenceMode FixedPointMode = FixedPointInferenceMode.Procedure;

+		

+    public string PrintFixedPoint = null;

+		

+    public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)

 

     public enum TypeEncoding {

       None,

@@ -1126,6 +1129,12 @@ namespace Microsoft.Boogie {
               }

           }

           return true;

+        case "printFixedPoint":

+          if (ps.ConfirmArgumentCount(1))

+          {

+              PrintFixedPoint = args[ps.i];

+          }

+          return true;

         case "siVerbose":

           if (ps.ConfirmArgumentCount(1)) {

             StratifiedInliningVerbose = Int32.Parse(cce.NonNull(args[ps.i]));