diff options
author | Michal Moskal <michal@moskal.me> | 2012-01-28 17:29:43 -0500 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2012-01-28 17:29:43 -0500 |
commit | d431e64ec25cee45bdc4f1c05db4e50e27c5333d (patch) | |
tree | 5d7a96fc9eb2ea1579f9d8d9ebb756d21a44a8d4 /Source/ModelViewer | |
parent | 974c98b5dda325ab486b6b8f9c45d5e8f4ab7a3a (diff) |
VCC: display bitvectors
Diffstat (limited to 'Source/ModelViewer')
-rw-r--r-- | Source/ModelViewer/VccProvider.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index ea213aef..1393b3a2 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -446,7 +446,7 @@ namespace Microsoft.Boogie.ModelViewer.Vcc kind = null;
return null;
}
-
+
private string LiteralName(Model.Element elt)
{
@@ -465,6 +465,10 @@ namespace Microsoft.Boogie.ModelViewer.Vcc if (i != null)
return AsPow2(i);
+ var bv = elt as Model.BitVector;
+ if (bv != null)
+ return bv.Numeral + "bv" + bv.Size.ToString();
+
return null;
}
|