search

YosysHQ / sby

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

docs: fix reference to aigbmc engine option #294

Closed georgerennie closed 2 days ago

georgerennie commented 1 month ago

What are the reasons/motivation for this change?

Docs incorrectly referred to engine mode aiger smtbmc which doesn't exist, it is actually aiger aigbmc