Closed pmetzger closed 5 years ago
See pull request #4 (presuming that just replacing the expected string is correct.)
I note that the README should probably mention that one needs cram to run the tests.
Fixed.
See pull request #4 (presuming that just replacing the expected string is correct.)
Merged. The corresponding Menhir module changed its name.
cram
to run the tests.make test
results in this minor failure: