diff options
author | wuestholz <unknown> | 2013-07-02 18:59:10 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-02 18:59:10 -0700 |
commit | 3c572baf712bccd21572a17866c8bb46b47c4064 (patch) | |
tree | c92d93d94993472b3f6f237e3eafaa0daf02280a /Source/DafnyExtension/ProgressMargin.cs | |
parent | b91fe75848478af71214e277ef036fe02f733fde (diff) |
DafnyExtension: Enabled verification result caching by default.
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
-rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs index 4a5553dc..e481f141 100644 --- a/Source/DafnyExtension/ProgressMargin.cs +++ b/Source/DafnyExtension/ProgressMargin.cs @@ -132,6 +132,7 @@ namespace DafnyLanguage {
_buffer.Changed -= buffer_Changed;
_errorProvider.Dispose();
+ ClearCachedVerificationResults();
if (resolver != null)
{
resolver.Dispose();
@@ -286,14 +287,19 @@ namespace DafnyLanguage bufferChangesPostVerificationStart.Clear();
bufferChangesPostVerificationStart.Add(new SnapshotSpan(_buffer.CurrentSnapshot, 0, _buffer.CurrentSnapshot.Length));
verificationDisabled = false;
- if (_document != null)
- {
- Microsoft.Boogie.ExecutionEngine.Cache.RemoveMatchingKeys(new Regex(string.Format(@"^{0}", Regex.Escape(GetHashCode().ToString()))));
- }
+ ClearCachedVerificationResults();
NotifyAboutChangedTags(_buffer.CurrentSnapshot);
}
}
+ private void ClearCachedVerificationResults()
+ {
+ if (_document != null)
+ {
+ Microsoft.Boogie.ExecutionEngine.Cache.RemoveMatchingKeys(new Regex(string.Format(@"^{0}:", Regex.Escape(GetHashCode().ToString()))));
+ }
+ }
+
/// <summary>
/// Thread entry point.
/// </summary>
|