diff options
| -rw-r--r-- | tests/simple_abc9/abc9.v (renamed from tests/techmap/abc9/abc9.v) | 0 | ||||
| -rw-r--r-- | tests/techmap/abc9/abc9_runtest.sh | 5 | ||||
| -rwxr-xr-x | tests/techmap/abc9/run-test.sh | 10 | ||||
| -rwxr-xr-x | tests/techmap/run-test.sh | 8 |
4 files changed, 0 insertions, 23 deletions
diff --git a/tests/techmap/abc9/abc9.v b/tests/simple_abc9/abc9.v index 2d9aea366..2d9aea366 100644 --- a/tests/techmap/abc9/abc9.v +++ b/tests/simple_abc9/abc9.v diff --git a/tests/techmap/abc9/abc9_runtest.sh b/tests/techmap/abc9/abc9_runtest.sh deleted file mode 100644 index 2deaad719..000000000 --- a/tests/techmap/abc9/abc9_runtest.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -set -ev - -../../../yosys -p 'abc9 -lut 4; check; select -assert-count 2 t:$lut; select -assert-none c:* t:$lut %n %i' abc9.v diff --git a/tests/techmap/abc9/run-test.sh b/tests/techmap/abc9/run-test.sh deleted file mode 100755 index e2fc11e52..000000000 --- a/tests/techmap/abc9/run-test.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -set -e -for x in *_runtest.sh; do - echo "Running $x.." - if ! bash $x &> ${x%.sh}.log; then - tail ${x%.sh}.log - echo ERROR - exit 1 - fi -done diff --git a/tests/techmap/run-test.sh b/tests/techmap/run-test.sh index 129451e08..e2fc11e52 100755 --- a/tests/techmap/run-test.sh +++ b/tests/techmap/run-test.sh @@ -8,11 +8,3 @@ for x in *_runtest.sh; do exit 1 fi done - -for d in */; do - if [ -x $d/run-test.sh ]; then - cd $d - bash run-test.sh - cd .. - fi -done |