Improved CLI behavior when not specifying a config or existing workdir - Githubissues

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

390 stars 74 forks source link

Improved CLI behavior when not specifying a config or existing workdir #267

Closed jix closed 6 months ago