diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:19:51 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-08-07 06:19:51 +0200 |
| commit | c08b0ce638361a84d3648aacd4ffbd0da6c357d8 (patch) | |
| tree | afee2de836d4f3702adb094c06171a5c3603be41 /old-tests/semantics/include/includer | |
| parent | ade1111af0e0d253418c0707ad4e15b71a191348 (diff) | |
Distinguish between internal/external wait deactivation in scheduler
This turns out to be necessary for the deadlock detection to work properly.
Diffstat (limited to 'old-tests/semantics/include/includer')
0 files changed, 0 insertions, 0 deletions