Fix error parsing nested compound SERE

NikLeberg · Dec 1, 2024 · 5554392 · 5554392
1 parent 798e349
commit 5554392
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/parse.c b/src/parse.c
@@ -12012,7 +12012,7 @@ static psl_node_t p_psl_compound_sere(psl_node_t head)
    //   | Compound_SERE within Compound_SERE
    //   | Parameterized_SERE
 
-   BEGIN("PSL Compund SERE");
+   BEGIN("PSL Compound SERE");
 
    if (head == NULL) {
       switch (peek()) {
@@ -12162,7 +12162,8 @@ static psl_node_t p_psl_sere(void)
       case tTIMESRPT:
       case tEQRPT:
       case tGOTORPT:
-         return p_psl_compound_sere(head);
+         head = p_psl_compound_sere(head);
+         continue;
       default:
          return head;
       }

diff --git a/test/psl/parse3.vhd b/test/psl/parse3.vhd
@@ -64,4 +64,5 @@ begin
     -- psl assert {a} |=> {b;c};
     -- psl assert {a} |-> {b};
 
+    -- psl assert {a} |=> {{b[->3]} && {(a and not c)[+]}; not c and b};
 end architecture;