random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / tests / userprog / create-exists.ck
1 # -*- perl -*-
2 use strict;
3 use warnings;
4 use tests::tests;
5 check_expected ([<<'EOF']);
6 (create-exists) begin
7 (create-exists) create quux.dat
8 (create-exists) create warble.dat
9 (create-exists) try to re-create quux.dat
10 (create-exists) create baffle.dat
11 (create-exists) try to re-create quux.dat
12 (create-exists) end
13 create-exists: exit(0)
14 EOF
15 pass;