Add file system persistence tests:
[pintos-anon] / src / tests / threads / priority-donate-sema.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF']);
6 (priority-donate-sema) begin
7 (priority-donate-sema) Thread L acquired lock.
8 (priority-donate-sema) Thread L downed semaphore.
9 (priority-donate-sema) Thread H acquired lock.
10 (priority-donate-sema) Thread H finished.
11 (priority-donate-sema) Thread M finished.
12 (priority-donate-sema) Thread L finished.
13 (priority-donate-sema) Main thread finished.
14 (priority-donate-sema) end
15 EOF
16 pass;