diff --git a/Makefile b/Makefile
index e45019521..bf3781c6b 100644
--- a/Makefile
+++ b/Makefile
@@ -901,7 +901,7 @@ else
 endif
 endif
 	+cd tests/simple && bash run-test.sh $(SEEDOPT)
-	# +cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT)
+	+cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT)
 	+cd tests/hana && bash run-test.sh $(SEEDOPT)
 	+cd tests/asicworld && bash run-test.sh $(SEEDOPT)
 	# +cd tests/realmath && bash run-test.sh $(SEEDOPT)
@@ -919,7 +919,7 @@ endif
 	+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
 	+cd tests/svtypes && bash run-test.sh $(SEEDOPT)
 	+cd tests/proc && bash run-test.sh
-	# +cd tests/blif && bash run-test.sh
+	+cd tests/blif && bash run-test.sh
 	+cd tests/opt && bash run-test.sh
 	# +cd tests/aiger && bash run-test.sh $(ABCOPT)
 	# +cd tests/arch && bash run-test.sh