Displaying references in counterexamples.
Displaying references in counterexamples.

In why3, references are internally stored in the record ref with one
field content (containing the value that is referenced). Disable
displaying the name of the field content of record ref in counterexamples.

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3