From 3a126cb0a8a05005f7db27360dc0438698dc4c48 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Tue, 15 Oct 2024 17:02:08 +0200 Subject: [PATCH] target_symbols.csv++ --- fuzzers/FRET/benchmark/target_symbols.csv | 1 + 1 file changed, 1 insertion(+) diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv index 7708a073a0..61eb4b7fdd 100644 --- a/fuzzers/FRET/benchmark/target_symbols.csv +++ b/fuzzers/FRET/benchmark/target_symbols.csv @@ -31,4 +31,5 @@ gen3,main_minimal,FUZZ_INPUT,4096,trigger_Qemu_break,NONE,0#1000 interact,main_interact,FUZZ_INPUT,4096,trigger_Qemu_break,NONE, interact_int,main_interact,FUZZ_INPUT,4096,trigger_Qemu_break,NONE,0#1000 release,main_release,FUZZ_INPUT,4096,trigger_Qemu_break,T3,0#10000;1#5000;2#2000;3#3000 +copter,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,NONE,0#5000