diff options
Diffstat (limited to 'tests/share/run-test.sh')
-rwxr-xr-x | tests/share/run-test.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/share/run-test.sh b/tests/share/run-test.sh new file mode 100755 index 000000000..d511c9096 --- /dev/null +++ b/tests/share/run-test.sh @@ -0,0 +1,16 @@ +#!/bin/bash +set -e + +rm -rf temp +mkdir -p temp +echo "generating tests.." +python generate.py + +echo "running tests.." +for i in $( ls temp/*.ys | sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do + echo -n "[$i]" + idx=$( printf "%05d" $i ) + ../../yosys -ql temp/uut_${idx}.log temp/uut_${idx}.ys +done +echo + |