projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Allow user fault messages in output in bad-* tests.
[pintos-anon]
/
src
/
tests
/
userprog
/
bad-read.ck
diff --git
a/src/tests/userprog/bad-read.ck
b/src/tests/userprog/bad-read.ck
index 8a531d9523ce65fc50d09713fe7d5720afffa785..4d4d9266646fe2b275a5ded0aac32e8695fa3a56 100644
(file)
--- a/
src/tests/userprog/bad-read.ck
+++ b/
src/tests/userprog/bad-read.ck
@@
-2,7
+2,8
@@
use strict;
use warnings;
use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (
IGNORE_USER_FAULTS => 1,
[<<'EOF']);
(bad-read) begin
bad-read: exit(-1)
EOF
+pass;