diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-06-19 14:08:46 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-06-19 14:08:46 +0200 |
| commit | 8c79765de59902ae935db436d2a4d7bbc8bb7e47 (patch) | |
| tree | 6798f17bc879641d723413e010e8c63400c31f62 /tests | |
| parent | 8a86162ae9a4e2939af162edfc6fa281931f786e (diff) | |
Progress in SMV back-end
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/smv/run-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |