diff --git a/tests/cfail/exception.rs b/tests/cfail/exception.rs new file mode 100644 index 0000000000..08bd8db439 --- /dev/null +++ b/tests/cfail/exception.rs @@ -0,0 +1,27 @@ +#![deny(warnings)] +#![feature(proc_macro)] + +extern crate cortex_m_rtfm as rtfm; +extern crate stm32f103xx; + +use rtfm::app; + +app! { + //~^ error no associated item named `SYS_TICK` found for type + //~| error no associated item named `SYS_TICK` found for type + device: stm32f103xx, + + tasks: { + // ERROR exceptions can't be enabled / disabled here + SYS_TICK: { + enabled: true, + priority: 1, + }, + }, +} + +fn init(_p: init::Peripherals) {} + +fn idle() -> ! { + loop {} +} diff --git a/tests/cfail/interrupt.rs b/tests/cfail/interrupt.rs new file mode 100644 index 0000000000..3659495f1a --- /dev/null +++ b/tests/cfail/interrupt.rs @@ -0,0 +1,24 @@ +#![deny(warnings)] +#![feature(proc_macro)] + +extern crate cortex_m_rtfm as rtfm; +extern crate stm32f103xx; + +use rtfm::app; + +app! { //~ error no associated item named `EXTI0` found for type + device: stm32f103xx, + + tasks: { + // ERROR `enabled` needs to be specified for interrupts + EXTI0: { + priority: 1, + }, + }, +} + +fn init(_p: init::Peripherals) {} + +fn idle() -> ! { + loop {} +}