From 66a87835bef3a228c92b9ae22e8ee61f30fbc5c0 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Fri, 27 Sep 2024 16:23:30 +0200
Subject: [PATCH] feedback: ignore abbs outside select interval

---
 fuzzers/FRET/src/systemstate/stg.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/fuzzers/FRET/src/systemstate/stg.rs b/fuzzers/FRET/src/systemstate/stg.rs
index e24e36f972..98f3840160 100644
--- a/fuzzers/FRET/src/systemstate/stg.rs
+++ b/fuzzers/FRET/src/systemstate/stg.rs
@@ -542,7 +542,17 @@ where
             }
         }
 
+        #[cfg(not(feature = "trace_job_response_times"))]
         let tmp = StgFeedback::abbs_in_exec_order(&observer.last_trace);
+        #[cfg(feature = "trace_job_response_times")]
+        let tmp = {
+            if let Some(worst_instance) = observer.job_instances.iter().filter(|x| Some(x.2.clone()) == observer.select_task).max_by(|a,b| (a.1-a.0).cmp(&(b.1-b.0))) {
+                let t = observer.last_trace.iter().filter(|x| x.start_tick < worst_instance.1 && x.end_tick > worst_instance.0 ).cloned().collect();
+                StgFeedback::abbs_in_exec_order(&t)
+            } else {
+                StgFeedback::abbs_in_exec_order(&observer.last_trace)
+            }
+        };
         if INTEREST_AGGREGATE || INTEREST_ABBPATH {
             if INTEREST_ABBPATH {
                 let h = get_generic_hash(&tmp);