From 40537b5a8339208370894ef0771d288fda351068 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 26 Jan 2015 16:34:54 +0100
Subject: Worked on the verification result caching (trace output).

---
 Source/ExecutionEngine/ExecutionEngine.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

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));
 
-- 
cgit v1.2.3