2017-10-18 12:04:02 +02:00
|
|
|
# header for fuzzer generate.sh scripts
|
|
|
|
|
|
|
|
|
|
if [ -z "$XRAY_DATABASE" ]; then
|
|
|
|
|
echo "No XRAY environment found. Make sure to source the settings file first!"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
set -ex
|
|
|
|
|
|
2018-10-04 01:20:23 +02:00
|
|
|
# for some reason on sourced script set -e doesn't work
|
|
|
|
|
test $# = 1 || exit 1
|
2018-10-23 21:24:16 +02:00
|
|
|
test ! -e "$SPECN"
|
|
|
|
|
SPECN=$1
|
2017-10-18 12:04:02 +02:00
|
|
|
|
2018-10-24 02:26:26 +02:00
|
|
|
rm -rf "$SPECN"
|
2018-10-23 21:24:16 +02:00
|
|
|
mkdir "$SPECN"
|
|
|
|
|
cd "$SPECN"
|
|
|
|
|
|
|
|
|
|
export SEED="$(echo $SPECN | md5sum | cut -c1-8)"
|
2018-10-24 08:20:26 +02:00
|
|
|
export SEEDN="$(basename $(pwd) |sed s/specimen_0*//)"
|
2018-10-23 04:46:53 +02:00
|
|
|
|
|
|
|
|
function seed_vh () {
|
|
|
|
|
echo '`define SEED 32'"'h${SEED}" > setseed.vh
|
|
|
|
|
}
|
|
|
|
|
|
