Make call to "witness -rename" optional (default=on) - Githubissues

YosysHQ / sby

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

Other

379 stars 74 forks source link

Make call to "witness -rename" optional (default=on) #238

Closed clairexen closed 1 year ago