From 7a66b38c3e7e05e712144d63691f517ecca18d1d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 4 Feb 2014 13:43:34 +0100 Subject: Added test cases for sat command --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 03172477..023c62de 100644 --- a/Makefile +++ b/Makefile @@ -135,6 +135,7 @@ test: yosys cd tests/simple && bash run-test.sh cd tests/hana && bash run-test.sh cd tests/asicworld && bash run-test.sh + cd tests/sat && bash run-test.sh install: $(TARGETS) $(EXTRA_TARGETS) $(INSTALL_SUDO) mkdir -p $(DESTDIR)/bin -- cgit v1.2.3