search

YosysHQ / sby

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

Fix engine_list's return value #218

Closed jix closed 1 year ago

jix commented 1 year ago

This fixes #216