various changes to boogie for bitvector analysis and bctprovider

1 files changed, 7 insertions, 1 deletions

diff --git a/Source/ModelViewer/BCTProvider.cs b/Source/ModelViewer/BCTProvider.cs
index f7dae29e..6b48c396 100644
--- a/Source/ModelViewer/BCTProvider.cs
+++ b/Source/ModelViewer/BCTProvider.cs
@@ -32,6 +32,10 @@ namespace Microsoft.Boogie.ModelViewer.BCT {
     public BCTModel(Model m, ViewOptions opts)

       : base(m, opts) {

       f_heap_select = m.MkFunc("[3]", 3);

+

+      foreach (Model.Func fn in m.Functions) {

+

+      }

     }

 

     internal void FinishStates() {

@@ -43,7 +47,9 @@ namespace Microsoft.Boogie.ModelViewer.BCT {
     }

 

     public string GetUserVariableName(string name) {

-      if (name.StartsWith("$")) 

+      if (name == "$this")

+        return "this";

+      if (name.Contains("$")) 

         return null;

       if (name == "isControlChecked" || name == "isControlEnabled")

         return null;