Conjecture printing for duality and child user time tracking.

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 98086cf0..83572f2f 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -613,6 +613,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)

 

@@ -1135,6 +1137,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]));