3 # run this test many times:
4 # time bash -c 'for ((i=0; i<100; i++)); do echo "-- $i --"; bash run-test.sh || exit 1; done'
10 seed
="" # default to no seed specified
11 while getopts "c:S:" opt
15 S
) seed
="-S $OPTARG" ;;
22 echo "generating tests.."
23 python3 generate.py
-c $count $seed
26 all_targets
="all_targets:"
27 echo "all: all_targets"
29 for i
in $
( ls temp
/*.ys |
sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do
30 idx
=$
( printf "%05d" $i )
31 echo "temp/uut_${idx}.log: temp/uut_${idx}.ys temp/uut_${idx}.v"
32 echo " @echo -n '[$i]'"
33 echo " @../../yosys -ql temp/uut_${idx}.out temp/uut_${idx}.ys"
34 echo " @mv temp/uut_${idx}.out temp/uut_${idx}.log"
35 echo " @grep -q 'SAT proof finished' temp/uut_${idx}.log && echo -n K || echo -n T"
36 all_targets
="$all_targets temp/uut_${idx}.log"
41 echo "running tests.."
42 ${MAKE:-make} -f temp
/makefile