• David Hauzar's avatar
    Displaying references in counterexamples. · 13921d03
    David Hauzar authored
    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.
    13921d03
Name
Last commit
Last update
..
mach Loading commit data...
array.mlw Loading commit data...
hashtbl.mlw Loading commit data...
impset.mlw Loading commit data...
io.mlw Loading commit data...
matrix.mlw Loading commit data...
null.mlw Loading commit data...
pqueue.mlw Loading commit data...
queue.mlw Loading commit data...
random.mlw Loading commit data...
ref.mlw Loading commit data...
stack.mlw Loading commit data...
string.mlw Loading commit data...