diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-11-08 19:22:25 -0800 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-11-08 19:22:25 -0800 |
| commit | 6200497898b39084256c7551ff46d80120291f0d (patch) | |
| tree | 82ac9ed556756b009dd42a1a405d1cdc71b0740a /Source/ModelViewer | |
| parent | 688d3b7d65a7bd9bb3b49d464bee0cfccf17e12a (diff) | |
VCC: show output parameters as roots
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index ede520cb..0ce39c88 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -395,6 +395,11 @@ namespace Microsoft.Boogie.ModelViewer.Vcc return name.Substring(2);
}
+ if (name.StartsWith("OP#")) {
+ kind = "out-param";
+ return name.Substring(3);
+ }
+
if (name.StartsWith("SL#")) {
kind = "spec local";
return name.Substring(3);
|