diff options
author | 2010-12-14 23:31:14 +0000 | |
---|---|---|
committer | 2010-12-14 23:31:14 +0000 | |
commit | 801701bd08f75c4e61c9d3d7004426a4821a25bf (patch) | |
tree | 5ea9702cf692ae10ea3149335087bb7d95ed7c45 /Source/ModelViewer/Main.cs | |
parent | d16580f98fe091ff59336b978df4705e2a63bcda (diff) |
Include one more expert level (this need to be rethought I guess).
Display res__ VCC variables.
Diffstat (limited to 'Source/ModelViewer/Main.cs')
-rw-r--r-- | Source/ModelViewer/Main.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.cs b/Source/ModelViewer/Main.cs index a226ed6c..0a67c9a9 100644 --- a/Source/ModelViewer/Main.cs +++ b/Source/ModelViewer/Main.cs @@ -42,7 +42,8 @@ namespace Microsoft.Boogie.ModelViewer viewItems = new ToolStripMenuItem[] {
normalToolStripMenuItem,
expertToolStripMenuItem,
- everythingToolStripMenuItem
+ everythingToolStripMenuItem,
+ includeTheKitchenSinkToolStripMenuItem
};
var debugBreak = false;
|