From 86a360a3964ecb04a37c0424c76d7b43a9fd40fe Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Tue, 4 Jul 2017 11:26:11 -0500 Subject: rtfm! macro take 2 --- tests/cfail/lock.rs | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100644 tests/cfail/lock.rs (limited to 'tests/cfail/lock.rs') diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs deleted file mode 100644 index 64753ac..0000000 --- a/tests/cfail/lock.rs +++ /dev/null @@ -1,36 +0,0 @@ -extern crate cortex_m_rtfm as rtfm; - -use rtfm::{CMax, C2, P1, P2, P3, PMax, Resource, T1, T2, T3, TMax}; - -static R1: Resource = Resource::new(0); - -// You don't need to raise the ceiling to access a resource with ceiling equal -// to the task priority. -fn j1(prio: P2, thr: T2) { - thr.raise(&R1, |_| {}); - //~^ error - - // OK - let r1 = R1.access(&prio, &thr); -} - -// You CAN access a resource with ceiling C from a task with priority P if C > P -// if you raise the preemption threshold first -fn j2(prio: P1, thr: T1) { - // OK - thr.raise(&R1, |thr| { let r1 = R1.access(&prio, thr); }) -} - -static R2: Resource = Resource::new(0); - -// Tasks with priority less than P16 can't access a resource with ceiling CMax -fn j4(prio: P1, thr: T1) { - thr.raise(&R2, |thr| {}); - //~^ error -} - -// Only tasks with priority P16 can directly access a resource with ceiling CMax -fn j5(prio: PMax, thr: TMax) { - // OK - let r2 = R2.access(&prio, &thr); -} -- cgit v1.2.3