projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add comment.
[pintos-anon]
/
src
/
tests
/
userprog
/
bad-jump2.ck
diff --git
a/src/tests/userprog/bad-jump2.ck
b/src/tests/userprog/bad-jump2.ck
index 822611559a291907c93bfc698d984ccbf1cad6d3..35f0f9790ba4f64bc1200411a8f660568f8d559f 100644
(file)
--- a/
src/tests/userprog/bad-jump2.ck
+++ b/
src/tests/userprog/bad-jump2.ck
@@
-2,7
+2,8
@@
use strict;
use warnings;
use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (
IGNORE_USER_FAULTS => 1,
[<<'EOF']);
(bad-jump2) begin
bad-jump2: exit(-1)
EOF
+pass;