cd tests/simple && bash run-test.sh
cd tests/hana && bash run-test.sh
cd tests/asicworld && bash run-test.sh
+ cd tests/realmath && bash run-test.sh
cd tests/techmap && bash run-test.sh
cd tests/sat && bash run-test.sh
idx=$( printf "%05d" $i )
../../../yosys -q uut_${idx}.ys
iverilog -o uut_${idx}_tb uut_${idx}_tb.v uut_${idx}.v uut_${idx}_syn.v
- ./uut_${idx}_tb
+ ./uut_${idx}_tb | tee uut_${idx}.err
+ if test -s uut_${idx}.err; then
+ exit 1
+ fi
+ rm -f uut_${idx}.err
done
echo