YosysHQ / sby

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

tests: Do not run the same SBY task multiple times in parallel #219

Closed jix closed 1 year ago

jix commented 1 year ago

A test shell script is invoked once for every task setting the TASK environment variable, so running a fixed set of tasks from it breaks running tests in parallel when this happens twice or more at the same time.

Instead of the shell script I've added a different workaround using an extra sby file an inline python to run the non-default tasks and to handle the expected failure of the nofullskip task without changing the example sby file.

cc @KrystalDelusion