Suggest -f when the workdir already exists - Githubissues

YosysHQ / sby

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

Other

387 stars 73 forks source link

Suggest -f when the workdir already exists #164

Closed jix closed 2 years ago