From e50c4a47d6b4b6fe377b7722d0f38508093d8d06 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 30 Oct 2024 09:04:08 -0700 Subject: [PATCH] Add back tests --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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