Worked on the verification result caching (trace output).

2 files changed, 5 insertions, 5 deletions

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index c0d66720..0874addc 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1020,7 +1020,7 @@ namespace Microsoft.Boogie
         programCache.Set(programId, program, policy);

       }

 

-      if (0 <= CommandLineOptions.Clo.VerifySnapshots && 2 <= CommandLineOptions.Clo.TraceCaching)

+      if (0 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCachingForBenchmarking)

       {

         var end = DateTime.UtcNow;

         if (TimePerRequest.Count == 0)

@@ -1030,7 +1030,7 @@ namespace Microsoft.Boogie
         TimePerRequest[requestId] = end.Subtract(start);

         StatisticsPerRequest[requestId] = stats;

 

-        var printTimes = 3 <= CommandLineOptions.Clo.TraceCaching;

+        var printTimes = true;

 

         Console.Out.WriteLine(CachedVerificationResultInjector.Statistics.Output(printTimes));

 

diff --git a/Source/ExecutionEngine/VerificationResultCache.cs b/Source/ExecutionEngine/VerificationResultCache.cs
index 48b5a94d..5d20e6e8 100644
--- a/Source/ExecutionEngine/VerificationResultCache.cs
+++ b/Source/ExecutionEngine/VerificationResultCache.cs
@@ -247,7 +247,7 @@ namespace Microsoft.Boogie
         }

 

         node.ExtendDesugaring(before, beforePrecondtionCheck, after);

-        if (1 <= CommandLineOptions.Clo.TraceCaching)

+        if (CommandLineOptions.Clo.TraceCachingForTesting || CommandLineOptions.Clo.TraceCachingForBenchmarking)

         {

           using (var tokTxtWr = new TokenTextWriter("<console>", Console.Out, false, false))

           {

@@ -376,7 +376,7 @@ namespace Microsoft.Boogie
       }

 

       var end = DateTime.UtcNow;

-      if (3 <= CommandLineOptions.Clo.TraceCaching)

+      if (CommandLineOptions.Clo.TraceCachingForDebugging)

       {

         Console.Out.WriteLine("Collected other definition axioms within {0:F0} ms.", end.Subtract(start).TotalMilliseconds);

       }

@@ -425,7 +425,7 @@ namespace Microsoft.Boogie
       dc.VisitProgram(program);

 

       var end = DateTime.UtcNow;

-      if (3 <= CommandLineOptions.Clo.TraceCaching)

+      if (CommandLineOptions.Clo.TraceCachingForDebugging)

       {

         Console.Out.WriteLine("Collected dependencies within {0:F0} ms.", end.Subtract(start).TotalMilliseconds);

       }