From f38951099e45ab89cb13d06babad0cba3a322b0b Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 10 Jun 2013 18:16:09 -0700
Subject: Worked on improving program snapshot verification.

---
 Source/ExecutionEngine/ExecutionEngine.cs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index f4c25796..6c823870 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -4,6 +4,7 @@ using System.Collections.Generic;
 using System.Diagnostics.Contracts;
 using System.IO;
 using System.Linq;
+using System.Text.RegularExpressions;
 using VC;
 using BoogiePL = Microsoft.Boogie;
 
@@ -1187,6 +1188,19 @@ namespace Microsoft.Boogie
     }
 
 
+    public static void RemoveMatchingKeysFromCache(Regex pattern)
+    {
+      foreach (var kv in VerificationResultCache)
+      {
+        if (pattern.IsMatch(kv.Key))
+        {
+          VerificationResult res;
+          VerificationResultCache.TryRemove(kv.Key, out res);
+        }
+      }
+    }
+
+
     private static string DependenciesChecksum(Implementation impl)
     {
       List<DeclWithFormals> deps;
-- 
cgit v1.2.3