src/tests/userprog/bad-write.ck

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