diff --git a/tests/Makefile b/tests/Makefile
index ccb983c..9b65da7 100644
--- 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