diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-17 01:56:00 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-17 01:56:00 +0100 |
| commit | a67cd2d4a284cb945af6d477cc215cef7bdd22a8 (patch) | |
| tree | 2be5f13ffe5ecdec4fc365bba955ccd83258254c /tests/tools | |
| parent | acda74c12cd39ae1a17d15f472728b49ad584e91 (diff) | |
| download | yosys-a67cd2d4a284cb945af6d477cc215cef7bdd22a8.tar.gz yosys-a67cd2d4a284cb945af6d477cc215cef7bdd22a8.tar.bz2 yosys-a67cd2d4a284cb945af6d477cc215cef7bdd22a8.zip | |
Progress in Verific bindings
Diffstat (limited to 'tests/tools')
| -rwxr-xr-x | tests/tools/autotest.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index fafd044d8..d459f988e 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -82,7 +82,7 @@ do [[ "$bn" == *_tb ]] && continue echo -n "Test: $bn " - rm -f ${bn}.{err,log} + rm -f ${bn}.{err,log,sikp} mkdir -p ${bn}.out rm -rf ${bn}.out/* @@ -111,6 +111,11 @@ do test_count=$(( test_count + 1 )) } + if [ "$frontend" = "verific" -o "$frontend" = "verific_gates" ] && grep -q VERIFIC-SKIP $fn; then + touch ../${bn}.skip + return + fi + if [ -n "$scriptfiles" ]; then test_passes $fn $scriptfiles elif [ -n "$scriptopt" ]; then @@ -137,6 +142,9 @@ do if [ -f ${bn}.log ]; then mv ${bn}.err ${bn}.log echo "-> ok" + elif [ -f ${bn}.skip ]; then + mv ${bn}.err ${bn}.skip + echo "-> skip" else echo "-> ERROR!"; $keeprunning || exit 1; fi done |