diff options
Diffstat (limited to 'tests/cfail/race-2.rs')
| -rw-r--r-- | tests/cfail/race-2.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/cfail/race-2.rs b/tests/cfail/race-2.rs index 7f3504d..55dedb6 100644 --- a/tests/cfail/race-2.rs +++ b/tests/cfail/race-2.rs @@ -8,7 +8,7 @@ static R2: Resource<i32, C4> = Resource::new(0); fn j1(prio: P1) { let ceil = prio.as_ceiling(); - rtfm::raise_to(ceil, &R1, |ceil| { + ceil.raise(&R1, |ceil| { let r1 = R1.borrow(&prio, ceil); // Would preempt this critical section @@ -19,7 +19,7 @@ fn j1(prio: P1) { fn j2(prio: P3) { let ceil = prio.as_ceiling(); - rtfm::raise_to(ceil, &R2, |ceil| { + ceil.raise(&R2, |ceil| { // OK C2 (R1's ceiling) <= C4 (system ceiling) // BAD C2 (R1's ceiling) < P3 (j2's priority) let r1 = R1.borrow(&prio, ceil); |