From eea803008390cbae307e873ce6d39e01d6367759 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Fri, 21 Apr 2017 21:24:28 -0500 Subject: reword the comments in compile-fail tests --- tests/cfail/borrow.rs | 32 ++++++++++++++++++-------------- 1 file changed, 18 insertions(+), 14 deletions(-) (limited to 'tests/cfail/borrow.rs') 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 = 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); + } + ); } -- cgit v1.2.3