From 10b5dc4726f885282f48090dd7fb39d7d9c11070 Mon Sep 17 00:00:00 2001
From: John McMaster <johndmcmaster@gmail.com>
Date: Wed, 5 Dec 2018 17:10:18 -0800
Subject: [PATCH] reseg: dev segment generation script

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
---
 fuzzers/reseg.sh | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 fuzzers/reseg.sh

diff --git a/fuzzers/reseg.sh b/fuzzers/reseg.sh
new file mode 100755
index 00000000..be27214b
--- /dev/null
+++ b/fuzzers/reseg.sh
@@ -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
+