diff options
author | Ken McMillan <unknown> | 2014-05-26 14:36:26 -0700 |
---|---|---|
committer | Ken McMillan <unknown> | 2014-05-26 14:36:26 -0700 |
commit | 137f285e5a45d5e4ce3eaa40fc68df7890a3d2d7 (patch) | |
tree | 1c6456d6f1a52193f59e9a06b4835ff746b637ba /Source/Core/CommandLineOptions.cs | |
parent | c86d9a5a06cfe53ce070cb78abe89b1747bb7769 (diff) | |
parent | 7d9165d6b61e7475b973d3bf86d063dcc4a454d1 (diff) |
Merge duality changes
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index d4ffa860..5ab1942f 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -615,6 +615,8 @@ namespace Microsoft.Boogie { public FixedPointInferenceMode FixedPointMode = FixedPointInferenceMode.Procedure;
public string PrintFixedPoint = null;
+
+ public string PrintConjectures = null;
public bool ExtractLoopsUnrollIrreducible = true; // unroll irreducible loops? (set programmatically)
@@ -1137,6 +1139,12 @@ namespace Microsoft.Boogie { PrintFixedPoint = args[ps.i];
}
return true;
+ case "printConjectures":
+ if (ps.ConfirmArgumentCount(1))
+ {
+ PrintConjectures = args[ps.i];
+ }
+ return true;
case "siVerbose":
if (ps.ConfirmArgumentCount(1)) {
StratifiedInliningVerbose = Int32.Parse(cce.NonNull(args[ps.i]));
|