rtic/tests/cfail
2017-05-08 13:25:20 -05:00
..
access.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
ceiling.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
lock.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
peripherals-alias-1.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
peripherals-alias-2.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
race-1.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
race-2.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
raise.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-p0.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-same-handler.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-wrong-idle.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-wrong-init.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-wrong-priority.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-wrong-task.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
tasks-wrong-threshold.rs replace the ceiling token with a preemption threshold token 2017-05-08 12:05:42 -05:00
token-transfer.rs require Resource protected data to be Send, make tokens !Send 2017-05-08 13:25:20 -05:00