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."
21 rm dff_different_styles.v
# FIXME: dffsr1 fails because opt_rmdff does something fishy (#816)
22 rm partsel.v
# FIXME: Contains 1'hx, thus write_xaiger fails
23 exec ${MAKE:-make} -f ..
/tools
/autotest.mk
$seed *.v EXTRA_FLAGS
="-p \"synth -abc9 -lut 4\""