diff options
author | wuestholz <unknown> | 2013-06-06 18:00:47 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-06 18:00:47 -0700 |
commit | 8969aaf56d64795a2ea476759450e4df8bd14f6b (patch) | |
tree | ff032436d32deae5343c4c7899515ad6cc13ecd3 /Source/DafnyExtension/ProgressMargin.cs | |
parent | 1a7a703b58fab2201dce124c23b0ae04b86a21a7 (diff) |
DafnyExtension: Worked on integrating the verification result caching.
Diffstat (limited to 'Source/DafnyExtension/ProgressMargin.cs')
-rw-r--r-- | Source/DafnyExtension/ProgressMargin.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/DafnyExtension/ProgressMargin.cs b/Source/DafnyExtension/ProgressMargin.cs index f5faf697..1705e3ed 100644 --- a/Source/DafnyExtension/ProgressMargin.cs +++ b/Source/DafnyExtension/ProgressMargin.cs @@ -257,6 +257,8 @@ namespace DafnyLanguage bufferChangesPostVerificationStart.Clear();
bufferChangesPostVerificationStart.Add(new SnapshotSpan(_buffer.CurrentSnapshot, 0, _buffer.CurrentSnapshot.Length));
verificationDisabled = false;
+ // TODO(wuestholz): Only drop verification results from this buffer.
+ Microsoft.Boogie.ExecutionEngine.EmptyCache();
NotifyAboutChangedTags(_buffer.CurrentSnapshot);
}
}
|