random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / exec-bad-ptr.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF', <<'EOF']);
6 (exec-bad-ptr) begin
7 (exec-bad-ptr) end
8 exec-bad-ptr: exit(0)
9 EOF
10 (exec-bad-ptr) begin
11 exec-bad-ptr: exit(-1)
12 EOF
13 pass;