aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/borrow.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-21 21:24:28 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-21 21:24:28 -0500
commiteea803008390cbae307e873ce6d39e01d6367759 (patch)
treec759d6c28a01fa8fa89abd52326720c5d3b5b8d3 /tests/cfail/borrow.rs
parent1c82f1b1190cb40a3502d5b74a8c98775a788850 (diff)
reword the comments in compile-fail tests
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);
+ }
+ );
}