print binary for string constants

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