From ddf7fd85f9b92f92512cfec7b664b592a1e314df Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Tue, 12 Nov 2024 10:56:04 +0100
Subject: [PATCH] sequential inputs for copter

---
 .../Demo/CORTEX_M3_MPS2_QEMU_GCC/main_copter.c   | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_copter.c b/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_copter.c
index 5b926f9d..dba0cad6 100644
--- a/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_copter.c
+++ b/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/main_copter.c
@@ -27,6 +27,10 @@ __attribute__((noinline)) static void trigger_job_done( void )
 }
 
 static unsigned char fuzz_char_next(int tasknum) {
+#ifndef FUZZ_BYTES
+    return 255;
+#endif
+#ifdef PARTITION_INPUT
   if (INPUT_POINTERS[tasknum] == 0) {
       INPUT_POINTERS[tasknum] = tasknum * (MAX_INPUT_BYTES / NUM_TASKS);
   }
@@ -34,6 +38,18 @@ static unsigned char fuzz_char_next(int tasknum) {
       trigger_Qemu_break();
   }
   FUZZ_INPUT[INPUT_POINTERS[tasknum]++];
+#else
+  // printf("Get next Input from %lx \n",FUZZ_INPUT);
+  if (INPUT_POINTERS[0] < FUZZ_LENGTH) {
+      INPUT_POINTERS[0]++;
+      // printf("Input no. %d %x\n",FUZZ_POINTER-1,FUZZ_INPUT[FUZZ_POINTER-1]);
+      return FUZZ_INPUT[INPUT_POINTERS[0]-1];
+  } else {
+      // puts("End of Input");
+      // Exausted inputs early
+      trigger_Qemu_break();
+  }
+#endif
 }
 
 volatile int RNG_STATES[NUM_TASKS] = {};