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/VCGeneration/ConditionGeneration.cs | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index bc535404..d72a9d0e 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -1328,12 +1328,12 @@ namespace VC {
       
       var end = DateTime.UtcNow;
 
-      if (3 <= CommandLineOptions.Clo.TraceCaching)
+      if (CommandLineOptions.Clo.TraceCachingForDebugging)
       {
         Console.Out.WriteLine("Turned implementation into passive commands within {0:F0} ms.\n", end.Subtract(start).TotalMilliseconds);
       }
 
-      if (2 <= CommandLineOptions.Clo.TraceCaching)
+      if (CommandLineOptions.Clo.TraceCachingForDebugging)
       {
         using (var tokTxtWr = new TokenTextWriter("<console>", Console.Out, false, false))
         {
@@ -1480,7 +1480,7 @@ namespace VC {
 
     void TraceCachingAction(Cmd cmd, CachingAction action)
     {
-      if (1 <= CommandLineOptions.Clo.TraceCaching)
+      if (CommandLineOptions.Clo.TraceCachingForTesting)
       {
         using (var tokTxtWr = new TokenTextWriter("<console>", Console.Out, false, false))
         {
@@ -1489,10 +1489,11 @@ namespace VC {
           cmd.Emit(tokTxtWr, 0);
           Console.Out.WriteLine("  >>> {0}", action);
         }
-        if (CachingActionCounts != null)
-        {
-          Interlocked.Increment(ref CachingActionCounts[(int)action]);
-        }
+      }
+      
+      if (CommandLineOptions.Clo.TraceCachingForBenchmarking && CachingActionCounts != null)
+      {
+        Interlocked.Increment(ref CachingActionCounts[(int)action]);
       }
     }
 
-- 
cgit v1.2.3