diff options
| author |  wuestholz <unknown> | 2013-07-14 17:53:26 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-14 17:53:26 -0700 |
| commit | 0442fec7c535124fb60f412c9c499ee11eaea5ea (patch) | |
| tree | 90a7188d80b351ba146e73b3c3f98132ba786e95 /Source/DafnyMenu/DafnyMenu.vsct | |
| parent | 77eec10b03c8ae26df1e2e1e7965417862a9d68c (diff) | |
DafnyExtension: Worked on integrating BVD.
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.vsct')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.vsct | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.vsct b/Source/DafnyMenu/DafnyMenu.vsct index 5cb2975d..25c8dea9 100644 --- a/Source/DafnyMenu/DafnyMenu.vsct +++ b/Source/DafnyMenu/DafnyMenu.vsct @@ -103,6 +103,15 @@ </Strings>
</Button>
+ <Button guid="guidDafnyMenuCmdSet" id="cmdidShowErrorModel" priority="0x010a" type="Button">
+ <Parent guid="guidDafnyMenuCmdSet" id="DafnyMenuGroup" />
+ <CommandFlag>DynamicVisibility</CommandFlag>
+ <CommandFlag>DefaultInvisible</CommandFlag>
+ <Strings>
+ <ButtonText>Show error model</ButtonText>
+ </Strings>
+ </Button>
+
</Buttons>
<!--The bitmaps section is used to define the bitmaps that are used for the commands.-->
@@ -133,6 +142,7 @@ <IDSymbol name="cmdidRunVerifier" value="0x0101" />
<IDSymbol name="cmdidStopVerifier" value="0x0102" />
<IDSymbol name="cmdidToggleSnapshotVerification" value="0x0103" />
+ <IDSymbol name="cmdidShowErrorModel" value="0x0104" />
</GuidSymbol>
<!--
|