Skip to content

Commit a3a6b7b

Browse files
authored
Add check whether automation is minimal in tests for task2 (#214)
1 parent 2b130e7 commit a3a6b7b

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

tests/autotests/test_task02.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@ def test(self, regex_str: str) -> None:
3838
dfa = regex_to_dfa(regex_str)
3939

4040
minimized_dfa = dfa.minimize()
41+
assert len(minimized_dfa.states) == len(dfa.states)
4142
assert dfa.is_deterministic()
4243
assert dfa.is_equivalent_to(minimized_dfa)
4344
assert dfa.accepts(word)

0 commit comments

Comments
 (0)