tests: Remove unused tool list in test Makefile

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

diff --git a/tests/Makefile b/tests/Makefile
index ccb983c22097af44a07de20a5678c3ab5c1d6212..9b65da77378f45ac0b40ea731ee5fc516967b6ed 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -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