Display integers in decimal and hexadecimal in tooltip

1 files changed, 6 insertions, 1 deletions

diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs
index 0573de6b..8726a444 100644
--- a/Source/ModelViewer/VccProvider.cs
+++ b/Source/ModelViewer/VccProvider.cs
@@ -1116,7 +1116,12 @@ namespace Microsoft.Boogie.ModelViewer.Vcc
       get

       {

         var sb = new StringBuilder();

-        sb.AppendFormat("Type: {0}\n", vm.TypeName(tp));        

+        sb.AppendFormat("Type: {0}\n", vm.TypeName(tp));

+        var i = element as Model.Integer;

+        if (i != null) {

+          var n = System.Numerics.BigInteger.Parse(i.Numeral);          

+          sb.AppendFormat("Value: {0} (0x{1:x})\n", n, n);

+        }

         return sb.ToString();

       }

     }