SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

debug msg ++

Browse Source
This commit is contained in:
Alwin Berger 2024-09-02 15:53:59 +02:00
parent 06b523fb9f
commit 8adc1e2624
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
fuzzers/FRET/src/systemstate/observers.rs
View File

@ -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.contains_key(&next_resp.1) {
if ready[&next_resp.1] >= next_resp.0 { if ready[&next_resp.1] >= next_resp.0 {
if let Some(lr) = last_response.get(&next_resp.1) { 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. // Sometimes a task is released immediately after a response. This might not be detected.
// Assume that the release occured with the last response // Assume that the release occured with the last response
ret.push((*lr, next_resp.0, next_resp.1.clone())); 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 { } else {
if let Some(lr) = last_response.get(&next_resp.1) { 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. // Sometimes a task is released immediately after a response. This might not be detected.
// Assume that the release occured with the last response // Assume that the release occured with the last response
ret.push((*lr, next_resp.0, next_resp.1.clone())); ret.push((*lr, next_resp.0, next_resp.1.clone()));