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

   1 # -*- perl -*-
   2 use strict;
   3 use warnings;
   4 use tests::tests;
   5 check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
   6 (bad-write2) begin
   7 bad-write2: exit(-1)
   8 EOF
   9 pass;