| # header for fuzzer generate.sh scripts | |
| if [ -z "$URAY_DATABASE" ]; then | |
| echo "No URAY environment found. Make sure to source the settings file first!" | |
| exit 1 | |
| fi | |
| set -ex | |
| export FUZDIR=$PWD | |
| # for some reason on sourced script set -e doesn't work | |
| # Scripts may have additional arguments, but first is reserved for build directory | |
| test $# -ge 1 || exit 1 | |
| test ! -e "$SPECDIR" | |
| export SPECDIR=$1 | |
| mkdir -p "$SPECDIR" | |
| cd "$SPECDIR" | |
| export SEED="$(echo $SPECDIR | md5sum | cut -c1-8)" | |
| export SEEDN="$(basename $(pwd) |sed s/specimen_0*//)" | |
| function seed_vh () { | |
| echo '`define SEED 32'"'h${SEED}" > setseed.vh | |
| } | |