DafnyExtension: don't reverify a buffer with no changes

1 files changed, 4 insertions, 1 deletions

diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
index 33f00ab2..286047ec 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/ProgressMargin.cs
@@ -157,7 +157,10 @@ namespace DafnyLanguage
         // We have a successfully resolved program to verify

 

         var resolvedVersion = snap.Version.VersionNumber;

-        if (!bufferChangesPostVerificationStart.TrueForAll(span => span.Snapshot.Version.VersionNumber <= resolvedVersion)) {

+        if (bufferChangesPostVerificationStart.Count == 0) {

+          // Nothing new to verify.  No reason to start a new verification.

+          return;

+        } else if (!bufferChangesPostVerificationStart.TrueForAll(span => span.Snapshot.Version.VersionNumber <= resolvedVersion)) {

           // There have been buffer changes since the program that was resolved.  Do nothing here,

           // and instead just await the next resolved program.

           return;