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