Add file system persistence tests:
[pintos-anon] / src / tests / threads / priority-sema.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF']);
6 (priority-sema) begin
7 (priority-sema) Thread priority 30 woke up.
8 (priority-sema) Back in main thread.
9 (priority-sema) Thread priority 29 woke up.
10 (priority-sema) Back in main thread.
11 (priority-sema) Thread priority 28 woke up.
12 (priority-sema) Back in main thread.
13 (priority-sema) Thread priority 27 woke up.
14 (priority-sema) Back in main thread.
15 (priority-sema) Thread priority 26 woke up.
16 (priority-sema) Back in main thread.
17 (priority-sema) Thread priority 25 woke up.
18 (priority-sema) Back in main thread.
19 (priority-sema) Thread priority 24 woke up.
20 (priority-sema) Back in main thread.
21 (priority-sema) Thread priority 23 woke up.
22 (priority-sema) Back in main thread.
23 (priority-sema) Thread priority 22 woke up.
24 (priority-sema) Back in main thread.
25 (priority-sema) Thread priority 21 woke up.
26 (priority-sema) Back in main thread.
27 (priority-sema) end
28 EOF
29 pass;