--list-errors does not terminate
When run on the parser of Why3, menhir --list-errors
does not seem to terminate. After running for 1 minute, it already uses 2.5GB of memory. I tested with both 20160303 and 20180703.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
When run on the parser of Why3, menhir --list-errors
does not seem to terminate. After running for 1 minute, it already uses 2.5GB of memory. I tested with both 20160303 and 20180703.