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-2.rs | |
| parent | 296c88c49cbe72aea9d3726147a9436902b3446b (diff) | |
rename `borrow` to `access`
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 6bd957e..71f44fb 100644 --- a/tests/cfail/race-2.rs +++ b/tests/cfail/race-2.rs @@ -10,7 +10,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); @@ -25,7 +25,7 @@ fn j2(_task: Task, prio: P3) { &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); + let r1 = R1.access(&prio, ceil); //~^ error } ); |
