Script: dfa_in_lc.py

Synopsis: dea_in_lc.py [OPTIONS] FILE [FILE ...]

Options:

-w, --witness	show the witnesses
-c, --classes	specify the languages classes to be checked (comma separated list)
-v, --verify-witnesses
	check the witness with the witnesscheck module