--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.
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.