manual: document behavior of many comb cells more precisely.
[yosys.git] / tests / simple / 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 ! command -v iverilog > /dev/null ; then
16 echo "$0: Error: Icarus Verilog 'iverilog' not found."
17 exit 1
18 fi
19
20 shopt -s nullglob
21 exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.{sv,v}