src/tests/userprog/bad-jump2.ck

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