projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
cleaned up comments for reboot code and adopted GNU coding standards
[pintos-anon]
/
src
/
tests
/
userprog
/
bad-write2.ck
diff --git
a/src/tests/userprog/bad-write2.ck
b/src/tests/userprog/bad-write2.ck
index c94a10f107f338b59b6c7eea69ecd9f83e25106b..c6a34200ca6658368300c054b8faae57699c304f 100644
(file)
--- a/
src/tests/userprog/bad-write2.ck
+++ b/
src/tests/userprog/bad-write2.ck
@@
-2,7
+2,8
@@
use strict;
use warnings;
use tests::tests;
use strict;
use warnings;
use tests::tests;
-check_expected ([<<'EOF']);
+check_expected (
IGNORE_USER_FAULTS => 1,
[<<'EOF']);
(bad-write2) begin
bad-write2: exit(-1)
EOF
(bad-write2) begin
bad-write2: exit(-1)
EOF
+pass;