diff options
Diffstat (limited to 'tests/cfail/race-1.rs')
| -rw-r--r-- | tests/cfail/race-1.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs index 9037ed4..a4d9b68 100644 --- a/tests/cfail/race-1.rs +++ b/tests/cfail/race-1.rs @@ -9,7 +9,7 @@ fn j1(prio: P1) { ceil.raise( &R1, |ceil| { - let r1 = R1.borrow(&prio, ceil); + let r1 = R1.access(&prio, ceil); // `j2` preempts this critical section rtfm::request(j2); @@ -22,7 +22,7 @@ fn j2(_task: Task, prio: P3) { |ceil| { // OK C2 (R1's ceiling) <= C16 (system ceiling) // BAD C2 (R1's ceiling) < P3 (j2's priority) - let r1 = R1.borrow(&prio, &ceil); + let r1 = R1.access(&prio, &ceil); //~^ error }, ); |