Worked on the more advanced verification result caching.

1 files changed, 2 insertions, 4 deletions

diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 239cecdb..18e47ac1 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -1623,15 +1623,13 @@ namespace VC {
       // Report all recycled failing assertions for this implementation.

       if (impl.RecycledFailingAssertions != null && impl.RecycledFailingAssertions.Any())

       {

-        // TODO(wuestholz): Uncomment this.

-        // outcome = Outcome.Errors;

+        outcome = Outcome.Errors;

         foreach (var a in impl.RecycledFailingAssertions)

         {

           var oldCex = impl.ErrorChecksumToCachedError[a.Checksum] as Counterexample;

           if (oldCex != null)

           {

-            // TODO(wuestholz): Uncomment this.

-            // callback.OnCounterexample(oldCex, null);

+            callback.OnCounterexample(oldCex, null);

           }

         }

       }