diff options
| author |  MichalMoskal <unknown> | 2010-12-14 23:31:14 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-14 23:31:14 +0000 |
| commit | 801701bd08f75c4e61c9d3d7004426a4821a25bf (patch) | |
| tree | 5ea9702cf692ae10ea3149335087bb7d95ed7c45 /Source/ModelViewer/VccProvider.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/VccProvider.cs')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index edff5abb..2694ed85 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -252,6 +252,8 @@ namespace Microsoft.Boogie.ModelViewer.Vcc {
if (name.StartsWith("L#") || name.StartsWith("P#"))
return name.Substring(2);
+ if (name.StartsWith("res__") && viewOpts.ViewLevel >= 1)
+ return name;
return null;
}
|