VCC: display bitvectors

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;

     }