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