Change of counterexample display
I am currently regenerating the snapshot for the documentation and I am noticing a few changes. For doc/cedoc.mlw
, the output changed from
(* x = 0 (0x0); y = 3 (0x3) *)
to
(* x = 0 (0); y = 3 (3) *)
It was a bit redundant before, now it is kind of dumb.
Is this something we want to fix before the release? @marche @bbecker