From 6b5897a9289102e16a3e24069d1c76278a2e3986 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 14 Oct 2014 23:08:03 +0200
Subject: Made it produce more trace output for the verification result
 caching.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 10c5e01a..e00b9b7a 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1017,7 +1017,7 @@ namespace Microsoft.Boogie
         programCache.Set(programId, program, policy);
       }
 
-      if (1 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
+      if (0 <= CommandLineOptions.Clo.VerifySnapshots && CommandLineOptions.Clo.TraceCaching)
       {
         Console.Out.WriteLine("");
         Console.Out.WriteLine("<trace caching>");
-- 
cgit v1.2.3