diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/cfail/interrupt.rs | 6 | ||||
| -rw-r--r-- | tests/cfail/token-transfer.rs | 7 |
2 files changed, 10 insertions, 3 deletions
diff --git a/tests/cfail/interrupt.rs b/tests/cfail/interrupt.rs index c70528f..f7879f4 100644 --- a/tests/cfail/interrupt.rs +++ b/tests/cfail/interrupt.rs @@ -14,7 +14,9 @@ app! { tasks: { // ERROR this interrupt doesn't exist - EXTI33: {}, + EXTI33: { + path: exti33, + }, }, } @@ -23,3 +25,5 @@ fn init(_p: init::Peripherals) {} fn idle() -> ! { loop {} } + +fn exti33() {} diff --git a/tests/cfail/token-transfer.rs b/tests/cfail/token-transfer.rs index d10b82b..38e8786 100644 --- a/tests/cfail/token-transfer.rs +++ b/tests/cfail/token-transfer.rs @@ -15,10 +15,13 @@ app! { //~ error bound `rtfm::Threshold: core::marker::Send` is not satisfied static TOKEN: Option<Threshold> = None; }, + idle: { + resources: [TOKEN], + }, + tasks: { EXTI0: { path: exti0, - priority: 1, resources: [TOKEN], }, } @@ -26,7 +29,7 @@ app! { //~ error bound `rtfm::Threshold: core::marker::Send` is not satisfied fn init(_p: init::Peripherals, _r: init::Resources) {} -fn idle() -> ! { +fn idle(_t: &mut Threshold, _r: idle::Resources) -> ! { loop {} } |
