From 3a601fe25051c9305b0c0ac12a524e766b53d62a Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 18 Sep 2023 16:49:28 +0200
Subject: [PATCH] hack async activation detection

---
 fuzzers/FRET/src/systemstate/observers.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/systemstate/observers.rs b/fuzzers/FRET/src/systemstate/observers.rs
index 97bc806164..aa90b487a9 100644
--- a/fuzzers/FRET/src/systemstate/observers.rs
+++ b/fuzzers/FRET/src/systemstate/observers.rs
@@ -134,7 +134,9 @@ fn refine_system_states(input: &mut Vec<RawFreeRTOSSystemState>) -> Vec<RefinedF
 
         // increase when:
         // current and delayed afterwards
-        if let Some(_) = delay_list.iter().find(|x| (*x).task_name==cur.task_name) {
+        if cur.task_name.contains("async") {
+            *iteration_counts.get_mut(&cur.task_name).unwrap()+=1;
+        } else if let Some(_) = delay_list.iter().find(|x| (*x).task_name==cur.task_name) {
             *iteration_counts.get_mut(&cur.task_name).unwrap()+=1;
         }