goto_trace: unbounded integers are now shown like other numbers

kroening · kroening · commit f73969caf70c · 2018-11-03T16:02:24.000Z
diff --git a/src/goto-programs/goto_trace.cpp b/src/goto-programs/goto_trace.cpp
@@ -205,7 +205,12 @@ std::string trace_numeric_value(
     {
       mp_integer i;
       if(!to_integer(expr, i) && i>=0)
-        return integer2string(i, 2);
+      {
+        if(options.hex_representation)
+          return "0x" + integer2string(i, 16);
+        else
+          return "0b" + integer2string(i, 2);
+      }
     }
   }
   else if(expr.id()==ID_array)

Original file line number	Diff line number	Diff line change
`@@ -205,7 +205,12 @@ std::string trace_numeric_value(`
`205`	`205`	`{`
`206`	`206`	`mp_integer i;`
`207`	`207`	`if(!to_integer(expr, i) && i>=0)`
`208`		`- return integer2string(i, 2);`
	`208`	`+ {`
	`209`	`+ if(options.hex_representation)`
	`210`	`+ return "0x" + integer2string(i, 16);`
	`211`	`+ else`
	`212`	`+ return "0b" + integer2string(i, 2);`
	`213`	`+ }`
`209`	`214`	`}`
`210`	`215`	`}`
`211`	`216`	`else if(expr.id()==ID_array)`