Worked on the verification result caching (trace output).

1 files changed, 22 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 072e0323..3559e0c9 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -431,7 +431,28 @@ namespace Microsoft.Boogie {
     public bool Trace = false;

     public bool TraceTimes = false;

     public bool TraceProofObligations = false;

-    public int TraceCaching = 0;

+    public bool TraceCachingForTesting

+    {

+      get

+      {

+        return TraceCaching == 1 || TraceCaching == 3;

+      }

+    }

+    public bool TraceCachingForBenchmarking

+    {

+      get

+      {

+        return TraceCaching == 2 || TraceCaching == 3;

+      }

+    }

+    public bool TraceCachingForDebugging

+    {

+      get

+      {

+        return TraceCaching == 3;

+      }

+    }

+    internal int TraceCaching = 0;

     public bool NoResolve = false;

     public bool NoTypecheck = false;

     public bool OverlookBoogieTypeErrors = false;