4 seed
="" # default to no seed specified
8 S
) arg
="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
14 # check for Icarus Verilog
15 if ! which iverilog
> /dev
/null
; then
16 echo "$0: Error: Icarus Verilog 'iverilog' not found."
20 exec ${MAKE:-make} -f ..
/tools
/autotest.mk
$seed *.aag EXTRA_FLAGS
="-f aiger"