search

YosysHQ / sby

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

Regression test for smtbmc --unroll --noincr #172

Closed jix closed 2 years ago

jix commented 2 years ago

This tests the fix in YosysHQ/yosys#3368