X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fbad-jump.ck;h=e1c178b4427f6aa7bae76e9bd41ef74c78248d36;hb=bd5dde3034714da175496292c92dc5a37509a311;hp=71662e825d1d4cf0cc351532a4cc43f4c3c73f1f;hpb=1f197c6861841bc0c27327c20b85e7b43b65affe;p=pintos-anon

diff --git a/src/tests/userprog/bad-jump.ck b/src/tests/userprog/bad-jump.ck
index 71662e8..e1c178b 100644
--- a/src/tests/userprog/bad-jump.ck
+++ b/src/tests/userprog/bad-jump.ck
@@ -2,7 +2,8 @@
 use strict;
 use warnings;
 use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
 (bad-jump) begin
 bad-jump: exit(-1)
 EOF
+pass;