aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/borrow.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/borrow.rs')
-rw-r--r--tests/cfail/borrow.rs32
1 files changed, 18 insertions, 14 deletions
diff --git a/tests/cfail/borrow.rs b/tests/cfail/borrow.rs
index 14762dc..6f9e1a8 100644
--- a/tests/cfail/borrow.rs
+++ b/tests/cfail/borrow.rs
@@ -12,22 +12,26 @@ static R6: Resource<i32, C2> = Resource::new(0);
fn j1(prio: P2) {
let ceil = prio.as_ceiling();
- ceil.raise(&R1, |ceil| {
- // CAN borrow a resource with ceiling C when the current ceiling SC > C
- let r2 = R2.borrow(&prio, ceil);
+ ceil.raise(
+ &R1, |ceil| {
+ // NOTE CC = Current Ceiling, P = task Priority
- // CAN borrow a resource with ceiling C when the current ceiling SC == C
- let r3 = R3.borrow(&prio, ceil);
+ // CAN borrow a resource with ceiling RC when CC > RC
+ let r2 = R2.borrow(&prio, ceil);
- // CAN'T borrow a resource with ceiling C when the current ceiling SC < C
- let r4 = R4.borrow(&prio, ceil);
- //~^ error
+ // CAN borrow a resource with ceiling RC when CC == RC
+ let r3 = R3.borrow(&prio, ceil);
- // CAN'T borrow a resource with ceiling C < P (task priority)
- let r5 = R5.borrow(&prio, ceil);
- //~^ error
+ // CAN'T borrow a resource with ceiling RC when CC < RC
+ let r4 = R4.borrow(&prio, ceil);
+ //~^ error
- // CAN borrow a resource with ceiling C == P (task priority)
- let r6 = R6.borrow(&prio, ceil);
- });
+ // CAN'T borrow a resource with ceiling RC when RC < P
+ let r5 = R5.borrow(&prio, ceil);
+ //~^ error
+
+ // CAN borrow a resource with ceiling RC when RC == P
+ let r6 = R6.borrow(&prio, ceil);
+ }
+ );
}