reseg: dev segment generation script

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-12-05 17:10:18 -08:00
parent 0ae2a6ee2a
commit 10b5dc4726
1 changed files with 19 additions and 0 deletions

19
fuzzers/reseg.sh Executable file
View File

@ -0,0 +1,19 @@
#!/usr/bin/env bash
# Development script to re-run segment generation on specimens
# Works against most but not all fuzzers
set -ex
FUZDIR=$PWD
pushd build
for f in $(find -name design.bits) ; do
pushd $(dirname $f)
python3 $FUZDIR/generate.py
popd
done
popd
${XRAY_SEGMATCH} -o build/tmp.segbits $(find -name 'segdata_*.txt')
cat build/tmp.segbits