1 files changed, 14 insertions, 0 deletions
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;