search

YosysHQ / sby

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

tests: Remove unused tool list in test Makefile #171

Closed jix closed 2 years ago

jix commented 2 years ago

The checks for available tools moved to a python script, so need need to have a copy of the tool list in the Makefile.