From a1251156e6efc5121f2e302a83746fa4bc02e9e6 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Thu, 22 May 2025 06:29:36 +0000
Subject: [PATCH] generated 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 0f76522b..4c0fdd11 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 2
+#define GLOBAL_WCET_MULT 4
 #include "fuzzhelper.c"
 #include "arbitrary_loads.c"
 #include "polynomic_functions.h"