From f75fa4207e230ed990b3c1a69eef43685823a9da Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Sun, 6 Jul 2025 07:11:58 +0000
Subject: [PATCH] generate util++

---
 FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_watersgen1.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_watersgen1.c b/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_watersgen1.c
index 4c0fdd11..5e422508 100644
--- a/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_watersgen1.c
+++ b/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_watersgen1.c
@@ -9,7 +9,7 @@
 #include "util_macros.h"
 #define MAX_INPUT_BYTES 40960
 #define NUM_TASKS 37
-#define GLOBAL_WCET_MULT 4
+#define GLOBAL_WCET_MULT 8
 #include "fuzzhelper.c"
 #include "arbitrary_loads.c"
 #include "polynomic_functions.h"