DafnyExtension: Made it use the more advanced on-demand re-verification by default.

2 files changed, 2 insertions, 3 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 9bfdaae7..5dd6d8ab 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -45,7 +45,7 @@ namespace DafnyLanguage
 

         ExecutionEngine.printer = new DummyPrinter();

         ExecutionEngine.errorInformationFactory = new DafnyErrorInformationFactory();

-        ChangeIncrementalVerification(1);

+        ChangeIncrementalVerification(2);

       }

     }

 

diff --git a/Source/DafnyMenu/DafnyMenu.vsct b/Source/DafnyMenu/DafnyMenu.vsct
index 813ccd23..4c4b1403 100644
--- a/Source/DafnyMenu/DafnyMenu.vsct
+++ b/Source/DafnyMenu/DafnyMenu.vsct
@@ -105,11 +105,10 @@
 

       <Button guid="guidDafnyMenuCmdSet" id="cmdidToggleMoreAdvancedSnapshotVerification" priority="0x0105" type="Button">

         <Parent guid="guidDafnyMenuCmdSet" id="DafnyMenuGroup" />

-        <CommandFlag>DefaultInvisible</CommandFlag>

         <CommandFlag>DynamicVisibility</CommandFlag>

         <CommandFlag>TextChanges</CommandFlag>

         <Strings>

-          <ButtonText>Enable more advanced on-demand re-verification</ButtonText>

+          <ButtonText>Disable more advanced on-demand re-verification</ButtonText>

         </Strings>

       </Button>