diff --git a/ivtest/ivltests/pr1008.v b/ivtest/ivltests/pr1008.v
index e75aed6c0..2c1dee99f 100644
--- 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: