Update pr1008.v to $finish

2025-09-01 13:41:25 -04:00 · 2025-09-01 13:41:25 -04:00 · d400fa21bd
parent dad78d5258
commit d400fa21bd
1 changed files with 5 additions and 1 deletions
--- a/ivtest/ivltests/pr1008.v
+++ b/ivtest/ivltests/pr1008.v
@ -10,13 +10,17 @@ reg a;
 reg b;

 initial begin
-   $monitor("b = %b", b);
+    $monitor("b = %b", b);
    #1;
    a = 1;
    #2;
    a = 0;
    #2;
    a = 1;
+`ifdef VERILATOR
+    #3;
+    $finish;  // Always @* in Verilator isn't input-sensitive, loops forever
+`endif
 end

 /* This generated the error: