diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-11-09 11:41:33 -0800 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-11-09 11:41:33 -0800 |
| commit | fc41f3cbdf93dbc7a8918ffc8870f7f875b80046 (patch) | |
| tree | 844d3897b1ec101b0be4a82888d661ffd9c1e4c7 /Source/ModelViewer | |
| parent | 69d88c8fc5be24a41a1fb57af945251c3701d1a2 (diff) | |
VCC: hide #limited# functions
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index 0ce39c88..969dd646 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -307,6 +307,8 @@ namespace Microsoft.Boogie.ModelViewer.Vcc res = 1;
else if (name.EndsWith("#frame"))
res = 2;
+ else if (name.Contains("#limited#"))
+ res = 2;
else {
for (int i = 0; i < prefixes.Length; ++i)
foreach (var p in prefixes[i])
@@ -314,7 +316,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc res = i;
//goto stop;
}
- //stop: ;
+ //stop: ;
}
if (res == -1)
|