Merge 62b29b0b75 into 240439bdb0

2026-03-30 20:08:36 +00:00 · 2026-03-30 20:08:36 +00:00 · db31eafb62
parent 240439bdb0 62b29b0b75
commit db31eafb62
1 changed files with 0 additions and 1 deletions
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@ -1189,7 +1189,6 @@ def write_vlogtb_trace(steps, index):
        print("  initial genclock = 1;", file=f)
        print("`endif", file=f)

-        print("  reg genclock = 1;", file=f)
        print("  reg [31:0] cycle = 0;", file=f)

        primary_inputs = list()