Unit testing ============ .. toctree:: :maxdepth: -1 test_DFA test_NFA test_AFW test_automata_IO .. note:: **[EXPECTED FAILURE]** Means that it's known and designed that the result of a function given that specific situation is a failure (i.e. rise of an exception). Recreating the situation of testCases marked as EXPECTED FAILURE must be avoided.