pintos-os.org Git - pintos-anon/blob - src/tests/userprog/close-twice.ck

   1 # -*- perl -*-
   2 use strict;
   3 use warnings;
   4 use tests::tests;
   5 check_expected ([<<'EOF', <<'EOF']);
   6 (close-twice) begin
   7 (close-twice) open "sample.txt"
   8 (close-twice) close "sample.txt"
   9 (close-twice) close "sample.txt" again
  10 (close-twice) end
  11 close-twice: exit(0)
  12 EOF
  13 (close-twice) begin
  14 (close-twice) open "sample.txt"
  15 (close-twice) close "sample.txt"
  16 (close-twice) close "sample.txt" again
  17 close-twice: exit(-1)
  18 EOF