diff options
Diffstat (limited to 'tools/save-fuzz-crashes')
| -rwxr-xr-x | tools/save-fuzz-crashes | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/tools/save-fuzz-crashes b/tools/save-fuzz-crashes new file mode 100755 index 0000000..ea21356 --- /dev/null +++ b/tools/save-fuzz-crashes @@ -0,0 +1,33 @@ +#!/bin/sh + +out=tests/fuzz-crashes + +n=0 +for f in "$out"/*.fuzz +do + name=${f##*/} + num=${name%.fuzz} + if [ "$num" -gt "$n" ] + then + n=$num + fi +done + +n=$((n+1)) + +for dir in builds/fuzz-*/fuzz-out/default/crashes +do + for f in "$dir"/id* + do + cp "$f" "$out/$n.fuzz" + n=$((n+1)) + done +done + +rm -f "$out/Makefile.am" +echo -n "TEST_INPUTS += " > "$out/Makefile.am" +for f in "$out"/*.fuzz +do + printf "%s " "$f" >> "$out/Makefile.am" +done +echo "" >> "$out/Makefile.am" |