From ade004cffb10abaee1251cf48e04226a99f3ed25 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Sun, 4 Aug 2024 09:40:53 +0200 Subject: [PATCH] update targets --- fuzzers/FRET/benchmark/target_symbols.csv | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 4837511c74..047191b9d3 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -17,8 +17,12 @@ tacle_rtos,prvStage0,FUZZ_INPUT,604,trigger_Qemu_break lift,main_lift,FUZZ_INPUT,100,trigger_Qemu_break waters,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break watersv2,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break +waterspart,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break +waterspartv2,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break waters_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break watersv2_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break +waterspart_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break +waterspartv2_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break micro_branchless,main_branchless,FUZZ_INPUT,4,trigger_Qemu_break micro_int,main_int,FUZZ_INPUT,16,trigger_Qemu_break micro_longint,main_micro_longint,FUZZ_INPUT,16,trigger_Qemu_break