Merge 62b29b0b75 into 73c217133b

2026-06-08 22:58:47 +10:00 · 2026-06-08 22:58:47 +10:00 · d3c7ca3484
parent 73c217133b 62b29b0b75
commit d3c7ca3484
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()