smt backend option --dump-vlogtb produces Verilator error#5122

Draft

trayres wants to merge 1 commit intoYosysHQ:mainfrom

trayres:fix/smtbmc_generated_tb_verilator_fix

Commits on May 14, 2025

smt2 backend produces verilog testbench which errors out with Verilator; genclock is defined twice. This patch removes the redefinition of genclock.
trayres
committed