diff options
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 11 |
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]));
|