mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 22:34:07 +00:00
Code Activity
sby/tests/make
History
Jannis Harder d398a3c2df tests: Fail on CI when any required tool is missing
2022-06-02 16:38:21 +02:00
..
collect_tests.py Better checking of available solvers 2022-05-30 15:02:26 +02:00
help.txt Refactor tests 2022-04-11 17:50:38 +02:00
required_tools.py tests: Check for btorsim --vcd 2022-06-02 16:38:21 +02:00
subdir.mk Refactor tests 2022-04-11 17:50:38 +02:00
test_rules.py tests: Fail on CI when any required tool is missing 2022-06-02 16:38:21 +02:00