Add a test

Signed-off-by: Ryszard Rozak <[email protected]>
antmicro · Nov 30, 2023 · 1ee64fd · 1ee64fd
1 parent e0f9563
commit 1ee64fd
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test_regress/t/t_do_while.v b/test_regress/t/t_do_while.v
@@ -52,6 +52,15 @@ module t (/*AUTOARG*/);
       end while (a < 0);
       if (a != 5) $stop;
 
+      a = 1;
+      do begin
+         do begin
+            int x = 1;
+            a += x;
+         end while (a < 3);
+      end while (a < 5);
+      if (a != 5) $stop;
+
       $write("*-* All Finished *-*\n");
       $finish;
    end