Better checking of available solvers
[SymbiYosys.git] / tests / make / collect_tests.py
2022-05-30 Jannis HarderBetter checking of available solvers
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests
2022-04-11 Jannis HarderRefactor tests