This is a regression test suite. It is NOT a performance test suite.The subdirectory good/ contains a series of test grammars which Menhir issupposed to accept. We test that the following commands: menhir --only-preprocess menhir --explain -lg 2 -la 2 -lc 2both succeed and produce the expected output. We do NOT test that thegenerated parsers behave correctly.The subdirectory bad/ contains a series of test grammars which Menhir issupposed to reject. We test that the following command: menhirfails and produces the expected output.Some tests involve multiple files. By convention, if several files have thesame name up to a numeric suffix, then they belong in a single group andshould be fed together to Menhir.