Unit testing

• Tests DFA
• Tests NFA
• Tests AFW
• Tests 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.