From 147f8c3f6907ece20245be537337a9ed0274c421 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Tue, 21 Mar 2023 16:39:21 +0100 Subject: [PATCH] revert changes --- fuzzers/FRET/benchmark/Snakefile | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index 504d01f352..88ab4e966e 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -126,11 +126,11 @@ rule run_bench: rule run_showmap: input: "build/{target}.elf", - "bins/target_showmap_int", - "mnt/timedump/{fuzzer}/{target}.{num}.case" + "bins/target_showmap", + "timedump/{fuzzer}/{target}.{num}.case" output: - "mnt/timedump/{fuzzer}/{target}.{num}.trace.ron", - "mnt/timedump/{fuzzer}/{target}.{num}.case.time", + "timedump/{fuzzer}/{target}.{num}.trace.ron", + "timedump/{fuzzer}/{target}.{num}.case.time", run: with open('target_symbols.csv') as csvfile: reader = csv.DictReader(csvfile) @@ -188,12 +188,12 @@ rule all_bins: rule all_periodic: input: - expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random'], target=['tmr'],num=range(0,10)) + expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random','afl','state'], target=['waters','tmr'],num=range(0,10)) rule all_compare_afl_longest: input: - expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl','feedlongest','feedaflnolongest'], target=['waters', 'tmr'],num=range(0,10)) + expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl','feedlongest','feedaflnolongest','feedgeneration'], target=['waters', 'tmr'],num=range(0,10)) rule all_micro: input: - expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random_int'], target=['micro_longint'],num=range(0,10)) + expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['random','afl','state','feedgeneration'], target=['waters_int','micro_longint'],num=range(0,10))