print binary for string constants

diffblue · May 13, 2018 · 8ac8620 · 8ac8620
1 parent c3ec3dd
commit 8ac8620
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/goto-programs/goto_trace.cpp b/src/goto-programs/goto_trace.cpp
@@ -154,6 +154,10 @@ std::string trace_value_binary(
       if(!to_integer(expr, i) && i>=0)
         return integer2string(i, 2);
     }
+    else if(type.id()==ID_string)
+    {
+      return integer2string(expr.get(ID_value).get_no(), 2);
+    }
   }
   else if(expr.id()==ID_array)
   {