From a18a5f9bcf4577cf041b85be4eb809713a43304f Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Fri, 23 Aug 2024 10:30:36 +0200
Subject: [PATCH] fix everything interesting

---
 fuzzers/FRET/src/time/clock.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fuzzers/FRET/src/time/clock.rs b/fuzzers/FRET/src/time/clock.rs
index 2de07c5793..8fb93edf14 100644
--- a/fuzzers/FRET/src/time/clock.rs
+++ b/fuzzers/FRET/src/time/clock.rs
@@ -231,10 +231,10 @@ where
                 let observer = observers.match_name::<QemuSystemStateObserver<S::Input>>("systemstate").unwrap();
                 if let Some(time) = observer.worst_job_instances.get(t) {
                     self.exec_time = Some(Duration::from_nanos(*time));
-                    return Ok(true);
+                    return Ok(false);
                 } else {
                     self.exec_time = Some(Duration::from_nanos(0));
-                    return Ok(true);
+                    return Ok(false);
                 }
             }
         }