diff --git a/fuzzers/FRET/src/systemstate/observers.rs b/fuzzers/FRET/src/systemstate/observers.rs index f10c7f5736..69319d1d47 100644 --- a/fuzzers/FRET/src/systemstate/observers.rs +++ b/fuzzers/FRET/src/systemstate/observers.rs @@ -331,6 +331,7 @@ fn get_release_response_pairs(rel: &Vec<(u64, String)>, resp: &Vec<(u64, String) if ready.contains_key(&next_resp.1) { if ready[&next_resp.1] >= next_resp.0 { if let Some(lr) = last_response.get(&next_resp.1) { + eprintln!("Task {} response at {}ms before next release at {}ms. Fallback to last release at {}ms.", next_resp.1, crate::time::clock::tick_to_time(next_resp.0).as_millis(), crate::time::clock::tick_to_time(ready[&next_resp.1]).as_millis(), crate::time::clock::tick_to_time(*lr).as_millis()); // Sometimes a task is released immediately after a response. This might not be detected. // Assume that the release occured with the last response ret.push((*lr, next_resp.0, next_resp.1.clone())); @@ -346,6 +347,7 @@ fn get_release_response_pairs(rel: &Vec<(u64, String)>, resp: &Vec<(u64, String) } } else { if let Some(lr) = last_response.get(&next_resp.1) { + eprintln!("Task {} response at {}ms not found in ready list. Fallback to last release at {}ms.", next_resp.1, crate::time::clock::tick_to_time(next_resp.0).as_millis(), crate::time::clock::tick_to_time(*lr).as_millis()); // Sometimes a task is released immediately after a response. This might not be detected. // Assume that the release occured with the last response ret.push((*lr, next_resp.0, next_resp.1.clone()));