-
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
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
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.