pintos-os.org Git - pintos-anon/blob - src/tests/userprog/wait-bad-pid.ck

   1 # -*- perl -*-
   2 use strict;
   3 use warnings;
   4 use tests::tests;
   5 check_expected ([<<'EOF', <<'EOF']);
   6 (wait-bad-pid) begin
   7 (wait-bad-pid) end
   8 wait-bad-pid: exit(0)
   9 EOF
  10 (wait-bad-pid) begin
  11 wait-bad-pid: exit(-1)
  12 EOF
  13 pass;