search

YosysHQ / sby

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

tests: Windows fixes #190

Closed jix closed 2 years ago

jix commented 2 years ago

Make tests runnable on Windows, as long as a unix like environment as e.g. provided by MSYS2 is available.