From 58be280a627739bf9228e1634249ac54236b5f42 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 3 Mar 2023 12:30:36 +0100 Subject: [PATCH] add micro_longint --- fuzzers/FRET/benchmark/Snakefile | 2 +- fuzzers/FRET/benchmark/target_symbols.csv | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index a02d25dabb..f3f561e4ac 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -183,4 +183,4 @@ rule all_compare_afl_longest: rule all_micro: input: - expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int'],num=range(0,3)) \ No newline at end of file + expand("timedump/{fuzzer}/{target}.{num}", fuzzer=['afl_int','state_int','random_int','feedlongest_int'], target=['waters_int','micro_longint'],num=range(0,10)) \ No newline at end of file diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 0e817c947d..31e803d8e4 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -18,4 +18,5 @@ lift,main_lift,FUZZ_INPUT,100,trigger_Qemu_break waters,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break waters_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break micro_branchless,main_branchless,FUZZ_INPUT,4,trigger_Qemu_break -micro_int,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break \ No newline at end of file +micro_int,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break +micro_longint,main_branchless,FUZZ_INPUT,16,trigger_Qemu_break \ No newline at end of file