diff options
| -rw-r--r-- | tests/cfail/ceiling.rs | 2 | ||||
| -rw-r--r-- | tests/cfail/race-1.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs index cf3b709..e29694b 100644 --- a/tests/cfail/ceiling.rs +++ b/tests/cfail/ceiling.rs @@ -19,7 +19,7 @@ fn j1(prio: P2) { } fn j2(prio: P0) { - let c16 = rtfm::critical( + let c16 = rtfm::atomic( |c16| { // forbidden: ceiling token can't outlive the critical section c16 //~ error diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs index a4d9b68..9d08f42 100644 --- a/tests/cfail/race-1.rs +++ b/tests/cfail/race-1.rs @@ -18,7 +18,7 @@ fn j1(prio: P1) { } fn j2(_task: Task, prio: P3) { - rtfm::critical( + rtfm::atomic( |ceil| { // OK C2 (R1's ceiling) <= C16 (system ceiling) // BAD C2 (R1's ceiling) < P3 (j2's priority) |