diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:41:03 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 15:41:03 -0500 |
| commit | 1c82f1b1190cb40a3502d5b74a8c98775a788850 (patch) | |
| tree | 4157ac304a4b372e7e4a79daaecf06e7a5c78664 /tests/cfail/race-2.rs | |
| parent | 3e165f2a42b8f3c66e3e77742a54feb875ec4bd6 (diff) | |
raise_to -> Ceiling.raise
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); |
