tests/aiger/run-test.sh

   1 #!/bin/bash
   2
   3 OPTIND=1
   4 seed=""    # default to no seed specified
   5 while getopts "S:" opt
   6 do
   7     case "$opt" in
   8         S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
   9            seed="SEED=$arg" ;;
  10     esac
  11 done
  12 shift "$((OPTIND-1))"
  13
  14 # check for Icarus Verilog
  15 if ! which iverilog > /dev/null ; then
  16   echo "$0: Error: Icarus Verilog 'iverilog' not found."
  17   exit 1
  18 fi
  19
  20 echo "===== AAG ======"
  21 ${MAKE:-make} -f ../tools/autotest.mk $seed *.aag EXTRA_FLAGS="-f aiger"
  22
  23 echo "===== AIG ======"
  24 exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.aig EXTRA_FLAGS="-f aiger"