From f7804f9b0c4627b6cc7d949d387ec5d4dabb1bea Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Wed, 14 May 2025 09:10:04 +0000 Subject: [PATCH] update targets --- fuzzers/FRET/benchmark/target_symbols.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index ba15e1367f..9a38a1fe89 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -47,4 +47,4 @@ polycopter_seq_dataflow_bytes,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC, watersc14_par_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C14,0#1000 watersc14_seq_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C14,0#1000 waters_seq_unsync_full,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break,C13,0#1000 -watersgen1_par_bytes,main_waters,FUZZ_INPUT,40960,trigger_Qemu_break,T_60, \ No newline at end of file +watersgen1_par_bytes,main_waters,FUZZ_INPUT,40960,trigger_Qemu_break,T_24,0#10000;1#10000;2#10000;3#20000 \ No newline at end of file