From 8a79e12f9121a3a3543999bd419e7ebb97a95fb2 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Fri, 21 Apr 2023 14:12:04 +0200 Subject: [PATCH] update target_symbols --- fuzzers/FRET/benchmark/target_symbols.csv | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 8c82e97c06..fc39889c78 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -16,7 +16,9 @@ tmr,main,FUZZ_INPUT,32,trigger_Qemu_break 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 waters_int,main_waters,FUZZ_INPUT,4096,trigger_Qemu_break +watersv2_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 +micro_longint,main_micro_longint,FUZZ_INPUT,16,trigger_Qemu_break \ No newline at end of file