mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2024-11-30 15:34:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

fix cfail tests

Browse source
This commit is contained in:
Jorge Aparicio 2017-04-25 21:55:11 -05:00
parent 404dde6f2a
commit aa0347e36c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/cfail/ceiling.rs
View file

@ -19,7 +19,7 @@ fn j1(prio: P2) {
} }
fn j2(prio: P0) { fn j2(prio: P0) {
let c16 = rtfm::critical( let c16 = rtfm::atomic(
|c16| { |c16| {
// forbidden: ceiling token can't outlive the critical section // forbidden: ceiling token can't outlive the critical section
c16 //~ error c16 //~ error

2
tests/cfail/race-1.rs
View file

@ -18,7 +18,7 @@ fn j1(prio: P1) {
} }
fn j2(_task: Task, prio: P3) { fn j2(_task: Task, prio: P3) {
rtfm::critical( rtfm::atomic(
|ceil| { |ceil| {
// OK C2 (R1's ceiling) <= C16 (system ceiling) // OK C2 (R1's ceiling) <= C16 (system ceiling)
// BAD C2 (R1's ceiling) < P3 (j2's priority) // BAD C2 (R1's ceiling) < P3 (j2's priority)