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 | |
parent | 688d3b7d65a7bd9bb3b49d464bee0cfccf17e12a (diff) |
VCC: show output parameters as roots
Diffstat (limited to 'Source')
-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);
|