
	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/
