Back to files

test suites are generated with scripts distributed in src/tests/bin.

For example, to generate the usual_automaton_t test suite, we used:

../bin/generate-test-suite.sh usual_automaton_t          \ 
                              usual_automaton_t.defs     \ 
                              ../automata/