projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
added note regarding console lock
[pintos-anon]
/
src
/
tests
/
userprog
/
bad-jump.ck
diff --git
a/src/tests/userprog/bad-jump.ck
b/src/tests/userprog/bad-jump.ck
index 71662e825d1d4cf0cc351532a4cc43f4c3c73f1f..e1c178b4427f6aa7bae76e9bd41ef74c78248d36 100644
(file)
--- 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;