From c548c6bc09d246d1794ce98bbadaae12e9ffb7ef Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 17 Mar 2023 11:15:55 +0100 Subject: [PATCH] snakefile: dump cases, fix random fuzzing --- fuzzers/FRET/benchmark/Snakefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index 6a82e76b86..9f9d2ee628 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -100,13 +100,14 @@ rule run_bench: export SEED_RANDOM={wildcards.num} export TIME_DUMP=$(pwd)/{output[0]} export CASE_DUMP=$(pwd)/{output[2]} + export TRACE_DUMP=$(pwd)/{output[0]}.trace export FUZZ_ITERS=10800 export FUZZER=$(pwd)/{input[1]}/debug/fret set +e ../fuzzer.sh > {output[1]} 2>&1 exit 0 """ - if wildcards.fuzzer == 'random': + if wildcards.fuzzer.find('random') >= 0: script="export FUZZ_RANDOM=1\n"+script shell(script) @@ -144,7 +145,7 @@ rule run_showmap: ../fuzzer.sh exit 0 """ - if wildcards.fuzzer == 'random': + if wildcards.fuzzer.find('random') >= 0: script="export FUZZ_RANDOM=1\n"+script shell(script)