diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 00:24:54 -0500 |
| commit | 4992db78777c408a545a787e43450d4947144550 (patch) | |
| tree | 3d8de8a9d209be9fd86540ae2a5601fa827f3a53 /tests/cfail/tasks-wrong-priority.rs | |
| parent | 0a6583ddc6909215e5db10e8df9da48cc7bffe1a (diff) | |
more docs, remove Ceiling / Priority / Level traits
Diffstat (limited to 'tests/cfail/tasks-wrong-priority.rs')
| -rw-r--r-- | tests/cfail/tasks-wrong-priority.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tests/cfail/tasks-wrong-priority.rs b/tests/cfail/tasks-wrong-priority.rs index 741a96a..08deef3 100644 --- a/tests/cfail/tasks-wrong-priority.rs +++ b/tests/cfail/tasks-wrong-priority.rs @@ -5,7 +5,7 @@ extern crate core; extern crate cortex_m; #[macro_use] -extern crate cortex_m_srp; +extern crate cortex_m_rtfm as rtfm; use cortex_m_srp::{C16, P0, P1, P2}; use device::interrupt::Exti1; @@ -14,9 +14,11 @@ tasks!(device, { j1: (Exti0, P1), }); -fn init(_: C16) {} +fn init(_: P0, _: &C16) {} -fn idle(_: P0) {} +fn idle(_: P0) -> ! { + loop {} +} // Wrong priority token. Declared P1, got P2 fn j1(_task: Exti1, _prio: P1) {} |