YosysHQ / sby

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

Fixes issue #269 by removing an erroneous "if sbyfile" check. #271

Closed aiju closed 6 months ago

aiju commented 6 months ago

This commit removes an erroneous "if sbyfile" that would turn '-f' into a no-op for stdin input files. Presumably this check was originally intended to handle the case of stdin input file and no specified workdir (which uses a temporary workdir). In the current version the check is redundant for this particular case. The check is erroneous in the case of stdin input file and a specified workdir, so we simply remove the check.