diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:38:39 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:38:39 -0500 |
| commit | d0ddc322e378e498743121121c8849260d2f1726 (patch) | |
| tree | 489b8857b60f3b8808c87816c96fde0b0592ca51 /tests/cfail/race-1.rs | |
| parent | 296c88c49cbe72aea9d3726147a9436902b3446b (diff) | |
rename `borrow` to `access`
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 }, ); |