diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-25 21:55:11 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-25 21:55:11 -0500 |
| commit | aa0347e36c5ab67fa3153cb91d32a2aeea840223 (patch) | |
| tree | 1092d64fb095943fa7545d56ea0b8ee25a1ffe52 /tests/cfail/race-1.rs | |
| parent | 404dde6f2a2a37a45d9bd46f3b6b9d5756cfe48f (diff) | |
fix cfail tests
Diffstat (limited to 'tests/cfail/race-1.rs')
| -rw-r--r-- | tests/cfail/race-1.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |