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::>("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); } } }