tests/realmath/run-test.sh

   1 #!/bin/bash
   2 set -e
   3
   4 OPTIND=1
   5 count=100
   6 seed=""    # default to no seed specified
   7 while getopts "c:S:" opt
   8 do
   9     case "$opt" in
  10         c) count="$OPTARG" ;;
  11         S) seed="-S $OPTARG" ;;
  12     esac
  13 done
  14 shift "$((OPTIND-1))"
  15
  16 rm -rf temp
  17 mkdir -p temp
  18 echo "generating tests.."
  19 python3 generate.py -c $count $seed
  20
  21 cd temp
  22 echo "running tests.."
  23 for ((i = 0; i < $count; i++)); do
  24         echo -n "[$i]"
  25         idx=$( printf "%05d" $i )
  26         ../../../yosys -qq uut_${idx}.ys
  27         iverilog -o uut_${idx}_tb uut_${idx}_tb.v uut_${idx}.v uut_${idx}_syn.v
  28         ./uut_${idx}_tb | tee uut_${idx}.err
  29         if test -s uut_${idx}.err; then
  30                 echo "Note: Make sure that 'iverilog' is an up-to-date git checkout of Icarus Verilog."
  31                 exit 1
  32         fi
  33         rm -f uut_${idx}.err
  34 done
  35 echo
  36