print binary for string constants

Daniel Kroening · Daniel Kroening · commit 8ac8620dfc7a · 2018-05-13T19:26:08.000+01:00
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)
   {

Original file line number	Diff line number	Diff line change
`@@ -154,6 +154,10 @@ std::string trace_value_binary(`
`154`	`154`	`if(!to_integer(expr, i) && i>=0)`
`155`	`155`	`return integer2string(i, 2);`
`156`	`156`	`}`
	`157`	`+ else if(type.id()==ID_string)`
	`158`	`+ {`
	`159`	`+ return integer2string(expr.get(ID_value).get_no(), 2);`
	`160`	`+ }`
`157`	`161`	`}`
`158`	`162`	`else if(expr.id()==ID_array)`
`159`	`163`	`{`