======================
 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  :py:mod:`witnesscheck` module