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

Merge pull request #171 from jix/make-remove-unused-tool-list

Browse source 
tests: Remove unused tool list in test Makefile
This commit is contained in:
Jannis Harder 2022-06-08 11:43:43 +02:00 committed by GitHub
parent 534ac21742 675dc03dfe
commit 4a9511b80b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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
TOOL_LIST := \
btorsim \
yices \
aigbmc \
avy \
bitwuzla \
boolector \
btormc \
cvc4 \
mathsat \
pono \
suprove \
yices-smt2 \
yices \
yosys-abc \
z3
help:
@cat make/help.txt