From d400fa21bdea1ac571ab500cd1ad9e916e34d350 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Mon, 1 Sep 2025 13:41:25 -0400
Subject: [PATCH] Update pr1008.v to $finish

---
 ivtest/ivltests/pr1008.v | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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: