diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-03-16 18:05:33 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-20 15:20:26 +1100 |
| commit | 74faf4c5fc2245e33a0deed840716a36249eb683 (patch) | |
| tree | c74eb78f267a3ecbf839f70fb70aabe42a093629 /tests/unix/extra_coverage.py.exp | |
| parent | c772817deea6f3e5fe63483db77a98b65974d833 (diff) | |
unix/coverage: Enable scheduler and add tests for it.
Diffstat (limited to 'tests/unix/extra_coverage.py.exp')
| -rw-r--r-- | tests/unix/extra_coverage.py.exp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/unix/extra_coverage.py.exp b/tests/unix/extra_coverage.py.exp index 32117aba4..416993887 100644 --- a/tests/unix/extra_coverage.py.exp +++ b/tests/unix/extra_coverage.py.exp @@ -46,6 +46,17 @@ Warning: test # binary 122 456 +# scheduler +sched(0)=1 +sched(1)=1 +sched(2)=1 +sched(3)=1 +sched(4)=0 +unlocked +3 +2 +1 +0 0123456789 b'0123456789' 7300 7300 |