From d2b0014da7270951f987aabfde767aa3abf81f5c Mon Sep 17 00:00:00 2001 From: Artem Demchenko Date: Mon, 29 Sep 2025 12:11:21 +0300 Subject: [PATCH] Add check whether automation is minimal in tests for task2 --- tests/autotests/test_task02.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/autotests/test_task02.py b/tests/autotests/test_task02.py index ea1f3e670..67ae5cc14 100644 --- a/tests/autotests/test_task02.py +++ b/tests/autotests/test_task02.py @@ -38,6 +38,7 @@ def test(self, regex_str: str) -> None: dfa = regex_to_dfa(regex_str) minimized_dfa = dfa.minimize() + assert len(minimized_dfa.states) == len(dfa.states) assert dfa.is_deterministic() assert dfa.is_equivalent_to(minimized_dfa) assert dfa.accepts(word)