print binary for string constants

Daniel Kroening · Daniel Kroening · commit 9d2d55d00a7d · 2018-05-13T20:07:40.000+01:00
diff --git a/src/goto-programs/goto_trace.cpp b/src/goto-programs/goto_trace.cpp
@@ -134,6 +134,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
`@@ -134,6 +134,10 @@ std::string trace_value_binary(`
`134`	`134`	`if(!to_integer(expr, i) && i>=0)`
`135`	`135`	`return integer2string(i, 2);`
`136`	`136`	`}`
	`137`	`+ else if(type.id()==ID_string)`
	`138`	`+ {`
	`139`	`+ return integer2string(expr.get(ID_value).get_no(), 2);`
	`140`	`+ }`
`137`	`141`	`}`
`138`	`142`	`else if(expr.id()==ID_array)`
`139`	`143`	`{`