diff options
| author |  rustanleino <unknown> | 2010-11-02 23:40:03 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-11-02 23:40:03 +0000 |
| commit | c9dfa023ddcc6ea1ff3b8f7598f87bd200ab6c9e (patch) | |
| tree | b703d03fe15666baa61d0d442f4db8ecabf1a66c /Source/ModelViewer/Namer.cs | |
| parent | 2c5f456402ec377ff77bb988bad978837fd372ed (diff) | |
ModelViewer:
* map back values introduced by bool_2_U and int_2_U
* map back internal names for select/store to [n] and [n:=], where n is the arity of the map
* added /break switch to ModelViewer
* display more things (including sequences) in Dafny provider
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 5d9f41d9..282a2530 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -124,7 +124,7 @@ namespace Microsoft.Boogie.ModelViewer if (n.elt is Model.Boolean || n.elt is Model.Number)
canonicals[n.elt] = n.nodes[0].FullName();
else
- canonicals[n.elt] = n.nodes[0].FullName() + "." + n.stateIdx;
+ canonicals[n.elt] = "'" + n.nodes[0].FullName() + "-" + n.stateIdx;
}
var unnamedIdx = 1;
|