projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use standard POSIX "ustar" format for the scratch disk.
[pintos-anon]
/
src
/
tests
/
userprog
/
bad-write.ck
diff --git
a/src/tests/userprog/bad-write.ck
b/src/tests/userprog/bad-write.ck
index 7b2e2d7e8c55c904b1bf93da7389cd2f1d31df86..d213b49a91afcd4995de560404e41be5557e9a63 100644
(file)
--- a/
src/tests/userprog/bad-write.ck
+++ b/
src/tests/userprog/bad-write.ck
@@
-2,7
+2,8
@@
use strict;
use warnings;
use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (
IGNORE_USER_FAULTS => 1,
[<<'EOF']);
(bad-write) begin
bad-write: exit(-1)
EOF
+pass;