Add file system persistence tests:
[pintos-anon] / src / tests / threads / priority-donate-lower.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF']);
6 (priority-donate-lower) begin
7 (priority-donate-lower) Main thread should have priority 41.  Actual priority: 41.
8 (priority-donate-lower) Lowering base priority...
9 (priority-donate-lower) Main thread should have priority 41.  Actual priority: 41.
10 (priority-donate-lower) acquire: got the lock
11 (priority-donate-lower) acquire: done
12 (priority-donate-lower) acquire must already have finished.
13 (priority-donate-lower) Main thread should have priority 21.  Actual priority: 21.
14 (priority-donate-lower) end
15 EOF
16 pass;