replace the ceiling token with a preemption threshold token

1 files changed, 0 insertions, 91 deletions

diff --git a/tests/cfail/tasks-wrong-ceiling.rs b/tests/cfail/tasks-wrong-ceiling.rs
deleted file mode 100644
index 84dd133..0000000
--- a/tests/cfail/tasks-wrong-ceiling.rs
+++ /dev/null
@@ -1,91 +0,0 @@
-// error-pattern: mismatched types
-
-#![feature(used)]
-
-#[macro_use]
-extern crate cortex_m_rtfm as rtfm;
-
-use rtfm::{C0, C1, C16, C2, P0, P1};
-use device::interrupt::Exti0;
-
-tasks!(device, {
-    j1: Task {
-        interrupt: Exti0,
-        priority: P1,
-        enabled: true,
-    },
-});
-
-fn init(_: P0, _: &C16) {}
-
-fn idle(_: P0, _: C0) -> ! {
-    loop {}
-}
-
-// Wrong ceiling token. `prio` and `ceil` must match in levels
-fn j1(_task: Exti0, _prio: P1, _ceil: C2) {}
-
-// fake device crate
-extern crate core;
-extern crate cortex_m;
-
-mod device {
-    pub mod interrupt {
-        use cortex_m::ctxt::Context;
-        use cortex_m::interrupt::Nr;
-
-        extern "C" fn default_handler<T>(_: T) {}
-
-        pub struct Handlers {
-            pub Exti0: extern "C" fn(Exti0),
-            pub Exti1: extern "C" fn(Exti1),
-            pub Exti2: extern "C" fn(Exti2),
-        }
-
-        pub struct Exti0;
-        pub struct Exti1;
-        pub struct Exti2;
-
-        pub enum Interrupt {
-            Exti0,
-            Exti1,
-            Exti2,
-        }
-
-        unsafe impl Nr for Interrupt {
-            fn nr(&self) -> u8 {
-                0
-            }
-        }
-
-        unsafe impl Context for Exti0 {}
-
-        unsafe impl Nr for Exti0 {
-            fn nr(&self) -> u8 {
-                0
-            }
-        }
-
-        unsafe impl Context for Exti1 {}
-
-        unsafe impl Nr for Exti1 {
-            fn nr(&self) -> u8 {
-                0
-            }
-        }
-
-        unsafe impl Context for Exti2 {}
-
-        unsafe impl Nr for Exti2 {
-            fn nr(&self) -> u8 {
-                0
-            }
-        }
-
-        pub const DEFAULT_HANDLERS: Handlers = Handlers {
-            Exti0: default_handler,
-            Exti1: default_handler,
-            Exti2: default_handler,
-        };
-    }
-}