- metadatatwice/
- emptyaccept/
- maxstatename/
- metadataorder/
- emptystart/
- emptytm/
- invalidaccept/
- invaliddir/
- invalidnxtstate/
- invalidnxtstatesym/
- invalidrsymbol/
- invalidstart/
- invalidwsymbol/
- longline/
- lotsofcomments/
- manyaccept/
- commentwithoutnewline/
- bigstatename/
- blanksymbol/
- missingtranssem/
- nestedterm/
- noaccept/
- noendingnewline/
- nolbracket/
- nondeterministic/
- nonewlines/
- norbracket/
- nostatenumber/
- nostates/
- notransitions/
- nowhitespaces/
- termtypo/
- semicolonaccept/
- semicolonstart/
- statedeftwice/
- run_tests.sh