diff --git a/bench/README b/bench/README new file mode 100644 index 0000000000000000000000000000000000000000..395a68af8c58c5bcf74bc9d9bf73659a3620b353 --- /dev/null +++ b/bench/README @@ -0,0 +1,21 @@ +This is a regression test suite. It is NOT a performance test suite. + +The subdirectory good/ contains a series of test grammars which Menhir is +supposed to accept. We test that the following commands: + + menhir --only-preprocess + menhir --explain -lg 2 -la 2 -lc 2 + +both succeed and produce the expected output. We do NOT test that the +generated parsers behave correctly. + +The subdirectory bad/ contains a series of test grammars which Menhir is +supposed to reject. We test that the following command: + + menhir + +fails and produces the expected output. + +Some tests involve multiple files. By convention, if several files have the +same name up to a numeric suffix, then they belong in a single group and +should be fed together to Menhir.