Add controlled changes at program

FormalLanguageConstrainedPathQuerying · May 6, 2024 · 546b831 · 546b831
1 parent eb191dc
commit 546b831
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/tests/autotests/test_task11.py b/tests/autotests/test_task11.py
@@ -79,8 +79,10 @@ def test_id(self, program: str):
         tree_after, is_valid_after = prog_to_tree(program_after)
         assert is_valid_after
         assert nodes_count(tree_before) == nodes_count(tree_after)
-        # reg = re.compile("[=,]", re.X)
-        # if reg.search(program):
-        #     program_bad = reg.sub("", program)
-        #     _, is_valid_bad = prog_to_tree(program_bad)
-        #     assert not is_valid_bad
+
+    def test_wrong(self, program: str):
+        reg = re.compile("[=,]", re.X)
+        if reg.search(program):
+            program_bad = reg.sub("", program)
+            _, is_valid_bad = prog_to_tree(program_bad)
+            assert not is_valid_bad