pintos-os.org Git - pintos-anon/blob - src/tests/userprog/write-bad-ptr.ck

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