Skip execution tests & change examples

FormalLanguageConstrainedPathQuerying · May 25, 2024 · 5707dd6 · 5707dd6
1 parent 6b86171
commit 5707dd6
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 3 deletions.
diff --git a/tests/autotests/test_task12.py b/tests/autotests/test_task12.py
@@ -22,6 +22,7 @@ def test_well_typed(self, program: str) -> None:
     def test_ill_typed(self, program: str) -> None:
         assert not typing_program(program)
 
+    @pytest.mark.skip("Has errors")
     @pytest.mark.parametrize("grammar", GRAMMARS_DIFFERENT)
     def test_exec_simple(self, graph: MultiDiGraph, grammar: CFG):
         start_nodes, final_nodes = generate_rnd_start_and_final(graph)

diff --git a/tests/autotests/to_program_parser.py b/tests/autotests/to_program_parser.py
@@ -144,9 +144,13 @@ def __str__(self):
     let q = ("s" . "f") ^ [1..]
     let g = q & p""",
     """
-    let p = "a" . "b" | "c"
-    let q = ("s" . "f") ^ [1..]
-    let g = [q, p]
+    let a = ("a" . b) | "a" ^ [0]
+    let b = a . "b"
+    """,
+    """
+    let q = "a" . p
+    let p = "b" . r
+    let r = ("c" . r) | "c" ^ [0]
     """,
     """
     let p = (1,"a",2)
@@ -208,6 +212,11 @@ def __str__(self):
     let g = [q, p]
     """,
     """
+    let p = "a" . "b" | "c"
+    let q = ("s" . "f") ^ [1..]
+    let g = [q, p]
+    """,
+    """
     let p = "a" . p . "b" | "c"
     let g is graph
     let r1 =