from .tests.test_automata import test_dfa, test_nfa, test_reachable, test_equivalent, test_complete, test_merge_equivalent

test_dfa()
test_nfa()
test_reachable()
test_equivalent()
test_complete()
test_merge_equivalent()