diff options
Diffstat (limited to 'tests/cfail/tasks-wrong-idle.rs')
| -rw-r--r-- | tests/cfail/tasks-wrong-idle.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tests/cfail/tasks-wrong-idle.rs b/tests/cfail/tasks-wrong-idle.rs index 8d6ef4b..77afef6 100644 --- a/tests/cfail/tasks-wrong-idle.rs +++ b/tests/cfail/tasks-wrong-idle.rs @@ -5,20 +5,22 @@ 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}; use device::interrupt::Exti0; +use rtfm::{C16, P0, P1}; /// Tasks can't have priority 0. Only idle has priority 0 tasks!(device, { j1: (Exti0, P1), }); -fn init(_: C16) {} +fn init(_: P0, _: &C16) {} -// WRONG. `idle` must have signature `fn(P1)` -fn idle(_: P1) {} +// WRONG. `idle` must have signature `fn(P0) -> !` +fn idle(_: P1) -> ! { + loop {} +} fn j1(_task: Exti0, _prio: P1) {} |