From d9c9c48f4d4e827f55cbe904e92f7f9deb2bcb95 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 13 Oct 2014 16:59:36 +0200
Subject: Minor change

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

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

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 44b8719a..dfdab25c 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -999,33 +999,33 @@ namespace Microsoft.Boogie
       {
         program.FreezeTopLevelDeclarations();
         programCache.Set(programId, program, policy);
+      }
 
-        if (CommandLineOptions.Clo.TraceCaching)
-        {
-          Console.Out.WriteLine("");
-          Console.Out.WriteLine("<trace caching>");
+      if (1 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
+      {
+        Console.Out.WriteLine("");
+        Console.Out.WriteLine("<trace caching>");
 
-          var end = DateTime.UtcNow;
-          if (TimePerRequest.Count == 0)
-          {
-            FirstRequestStart = start;
-          }
-          TimePerRequest[requestId] = end.Subtract(start);
+        var end = DateTime.UtcNow;
+        if (TimePerRequest.Count == 0)
+        {
+          FirstRequestStart = start;
+        }
+        TimePerRequest[requestId] = end.Subtract(start);
 
-          Console.Out.WriteLine(CachedVerificationResultInjector.Statistics.Output(true));
+        Console.Out.WriteLine(CachedVerificationResultInjector.Statistics.Output(true));
 
-          Console.Out.WriteLine("Times per request as CSV:");
-          Console.Out.WriteLine("Request ID, Time (ms)");
-          foreach (var kv in TimePerRequest.OrderBy(kv => kv.Key))
-          {
-            Console.Out.WriteLine("{0}, {1:F0}", kv.Key, kv.Value.TotalMilliseconds);
-          }
+        Console.Out.WriteLine("Times per request as CSV:");
+        Console.Out.WriteLine("Request ID, Time (ms)");
+        foreach (var kv in TimePerRequest.OrderBy(kv => kv.Key))
+        {
+          Console.Out.WriteLine("{0}, {1:F0}", kv.Key, kv.Value.TotalMilliseconds);
+        }
 
-          Console.Out.WriteLine("");
-          Console.Out.WriteLine("Total time (ms) since first request: {0:F0}", end.Subtract(FirstRequestStart).TotalMilliseconds);
+        Console.Out.WriteLine("");
+        Console.Out.WriteLine("Total time (ms) since first request: {0:F0}", end.Subtract(FirstRequestStart).TotalMilliseconds);
 
-          Console.Out.WriteLine("</trace caching>");
-        }
+        Console.Out.WriteLine("</trace caching>");
       }
 
       #endregion
-- 
cgit v1.2.3