diff --git a/srp_analysis/src/analysis.rs b/srp_analysis/src/analysis.rs index 9c1a634bbeb8a733ae77edc3c2f670eb70651e1e..548ce5d493e05e94e23ef30b067762003421bf06 100644 --- a/srp_analysis/src/analysis.rs +++ b/srp_analysis/src/analysis.rs @@ -108,7 +108,7 @@ pub fn blocking(task: &Task, tasks: &Tasks) -> u32 { if ip.contains_key(r) { let prio_ceiling = &ip[r]; // Is the resource prio ceiling higher than task prio OR task is using the resource - if (prio_ceiling > &task.prio) || tr[&task.id].contains(r) { + if (prio_ceiling >= &task.prio) || tr[&task.id].contains(r) { blocking_resources.insert(r); }