diff options
author | wuestholz <unknown> | 2013-06-10 18:16:09 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-10 18:16:09 -0700 |
commit | f38951099e45ab89cb13d06babad0cba3a322b0b (patch) | |
tree | 05a5292c25b0e8abf85cea0dc3144eefcc524d8b | |
parent | bfa3c64c4a4c583e30242da5a11b37800513418e (diff) |
Worked on improving program snapshot verification.
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 14 |
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;
|