search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388 stars 73 forks source link

smtbmc: Fix induction trace filename with --keep-going for the basecase #184

Closed jix closed 2 years ago

jix commented 2 years ago

--keep-going only applies to the basecase and induction runs without that option, so the trace filename for induction should have no placeholder.