mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-07 14:45:18 +00:00
Code Activity

tests: Remove unused tool list in test Makefile

Browse source 
The checks for available tools moved to a python script, so need need to
have a copy of the tool list in the Makefile.
This commit is contained in:
Jannis Harder 2022-06-08 11:32:35 +02:00
parent 534ac21742
commit 675dc03dfe
1 changed files with 0 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
tests/Makefile
View file

@ -2,23 +2,6 @@ test:
.PHONY: test clean refresh help .PHONY: test clean refresh help
TOOL_LIST := \
btorsim \
yices \
aigbmc \
avy \
bitwuzla \
boolector \
btormc \
cvc4 \
mathsat \
pono \
suprove \
yices-smt2 \
yices \
yosys-abc \
z3
help: help:
@cat make/help.txt @cat make/help.txt