Add file system persistence tests:
[pintos-anon] / src / tests / threads / priority-donate-multiple2.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF']);
6 (priority-donate-multiple2) begin
7 (priority-donate-multiple2) Main thread should have priority 34.  Actual priority: 34.
8 (priority-donate-multiple2) Main thread should have priority 36.  Actual priority: 36.
9 (priority-donate-multiple2) Main thread should have priority 36.  Actual priority: 36.
10 (priority-donate-multiple2) Thread b acquired lock b.
11 (priority-donate-multiple2) Thread b finished.
12 (priority-donate-multiple2) Thread a acquired lock a.
13 (priority-donate-multiple2) Thread a finished.
14 (priority-donate-multiple2) Thread c finished.
15 (priority-donate-multiple2) Threads b, a, c should have just finished, in that order.
16 (priority-donate-multiple2) Main thread should have priority 31.  Actual priority: 31.
17 (priority-donate-multiple2) end
18 EOF
19 pass;