random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / exec-missing.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF', <<'EOF', <<'EOF', <<'EOF']);
6 (exec-missing) begin
7 load: no-such-file: open failed
8 (exec-missing) exec("no-such-file"): -1
9 (exec-missing) end
10 exec-missing: exit(0)
11 EOF
12 (exec-missing) begin
13 (exec-missing) exec("no-such-file"): -1
14 (exec-missing) end
15 exec-missing: exit(0)
16 EOF
17 (exec-missing) begin
18 load: no-such-file: open failed
19 no-such-file: exit(-1)
20 (exec-missing) exec("no-such-file"): -1
21 (exec-missing) end
22 exec-missing: exit(0)
23 EOF
24 (exec-missing) begin
25 load: no-such-file: open failed
26 (exec-missing) exec("no-such-file"): -1
27 no-such-file: exit(-1)
28 (exec-missing) end
29 exec-missing: exit(0)
30 EOF
31 pass;