From c420e5c381f724e44c78e40b4c162f0bf9ff4a16 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 12 May 2025 15:15:17 +0000
Subject: [PATCH] configTASK_NOTIFICATION_ARRAY_ENTRIES=10 + new target

---
 fuzzers/FRET/benchmark/target_symbols.csv        |  3 ++-
 .../systemstate/target_os/freertos/bindings.rs   | 16 ++++++++--------
 2 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/fuzzers/FRET/benchmark/target_symbols.csv b/fuzzers/FRET/benchmark/target_symbols.csv
index 9bbe9a9188..ba15e1367f 100644
--- a/fuzzers/FRET/benchmark/target_symbols.csv
+++ b/fuzzers/FRET/benchmark/target_symbols.csv
@@ -46,4 +46,5 @@ polycopter_seq_dataflow_full,main_osek,FUZZ_INPUT,4096,trigger_Qemu_break,FC,0#2
 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
\ No newline at end of file
+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
diff --git a/fuzzers/FRET/src/systemstate/target_os/freertos/bindings.rs b/fuzzers/FRET/src/systemstate/target_os/freertos/bindings.rs
index 9a6546bf72..be2855befb 100644
--- a/fuzzers/FRET/src/systemstate/target_os/freertos/bindings.rs
+++ b/fuzzers/FRET/src/systemstate/target_os/freertos/bindings.rs
@@ -3,6 +3,11 @@ use serde::{Deserialize, Serialize};
 use std::fmt::Debug;
 use std::fmt::Formatter;
 use std::fmt;
+impl fmt::Debug for QueueDefinition__bindgen_ty_1 {
+    fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
+        f.debug_struct("union").finish()
+    }
+}
 
 /*========== Start of generated Code =============*/
 pub type char_ptr = ::std::os::raw::c_uint;
@@ -66,7 +71,7 @@ pub const configKERNEL_INTERRUPT_PRIORITY: u32 = 255;
 pub const configMAX_SYSCALL_INTERRUPT_PRIORITY: u32 = 191;
 pub const configMAC_INTERRUPT_PRIORITY: u32 = 5;
 pub const configUSE_TASK_NOTIFICATIONS: u32 = 1;
-pub const configTASK_NOTIFICATION_ARRAY_ENTRIES: u32 = 4;
+pub const configTASK_NOTIFICATION_ARRAY_ENTRIES: u32 = 10;
 /* automatically generated by rust-bindgen 0.71.1 */
 
 pub type StackType_t = u32;
@@ -157,11 +162,6 @@ pub union QueueDefinition__bindgen_ty_1 {
     pub xQueue: QueuePointers_t,
     pub xSemaphore: SemaphoreData_t,
 }
-impl fmt::Debug for QueueDefinition__bindgen_ty_1 {
-    fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
-        f.debug_struct("union").finish()
-    }
-}
 pub type xQUEUE = QueueDefinition;
 pub type Queue_t = xQUEUE;
 #[repr(C)]
@@ -183,8 +183,8 @@ pub struct tskTaskControlBlock {
     pub pcTaskName: [::std::os::raw::c_char; 10usize],
     pub uxBasePriority: UBaseType_t,
     pub uxMutexesHeld: UBaseType_t,
-    pub ulNotifiedValue: [u32; 4usize],
-    pub ucNotifyState: [u8; 4usize],
+    pub ulNotifiedValue: [u32; 10usize],
+    pub ucNotifyState: [u8; 10usize],
     pub ucStaticallyAllocated: u8,
     pub ucDelayAborted: u8,
 }