issues
search
YosysHQ
/
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388
stars
73
forks
source link
jobserver: Only poll non-helper-process jobserver fd when ready to read
#224
Closed
jix
closed
1 year ago
jix
commented
1 year ago
This avoids SBY going into a busy wait loop in that case.
This avoids SBY going into a busy wait loop in that case.