Worked on improving program snapshot verification.

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;