aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/race-2.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-21 15:41:03 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-21 15:41:03 -0500
commit1c82f1b1190cb40a3502d5b74a8c98775a788850 (patch)
tree4157ac304a4b372e7e4a79daaecf06e7a5c78664 /tests/cfail/race-2.rs
parent3e165f2a42b8f3c66e3e77742a54feb875ec4bd6 (diff)
raise_to -> Ceiling.raise
Diffstat (limited to 'tests/cfail/race-2.rs')
-rw-r--r--tests/cfail/race-2.rs4
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);