search

YosysHQ / sby

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

Read config before creating a workdir #191

Closed jix closed 2 years ago

jix commented 2 years ago

When using a task name not defined in the config, this now produces an error before creating an unnecessary workdir for that non-existing task.