search

YosysHQ / sby

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

smtbmc: Allow using --keep-going in cover mode #244

Closed jix closed 1 year ago

jix commented 1 year ago

See YosysHQ/yosys#3816 for the smtbmc change that made --keep-going do something in cover mode