From 8c79765de59902ae935db436d2a4d7bbc8bb7e47 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 19 Jun 2015 14:08:46 +0200 Subject: Progress in SMV back-end --- tests/smv/run-test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/smv') diff --git a/tests/smv/run-test.sh b/tests/smv/run-test.sh index c61f67d3..74a54486 100755 --- a/tests/smv/run-test.sh +++ b/tests/smv/run-test.sh @@ -6,7 +6,7 @@ rm -rf temp mkdir -p temp ../../yosys -p 'test_cell -muxdiv -w temp/test all' -rm -f temp/test_{alu,fa,lcu,lut,macc}_* +rm -f temp/test_{alu,fa,lcu,lut,macc,shiftx}_* cat > temp/makefile << "EOT" all: $(addsuffix .ok,$(basename $(wildcard temp/test_*.il))) -- cgit v1.2.3