search

YosysHQ / sby

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

Make SbyProc hide Windows differences in retcode handling #192

Closed jix closed 2 years ago

jix commented 2 years ago

Without this, we don't properly detect missing solver binaries and do not properly handle the return status of the pono solver.