diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 14:12:11 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 14:15:18 -0500 |
| commit | aee1d785a914365e64462ce507e27ca917da9055 (patch) | |
| tree | 02e6f19e5e2d9906120d97d071b5df8afc1920e0 /tests/cfail/tasks-wrong-priority.rs | |
| parent | 70f573a6c4bb62b9cefd1300010b535818f72585 (diff) | |
don't let the ceiling token escape the critical section
Diffstat (limited to 'tests/cfail/tasks-wrong-priority.rs')
0 files changed, 0 insertions, 0 deletions