Allow user fault messages in output in bad-* tests.
commiteff13852a9de1acde4288b40432fa2805b27ddfb
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 19 Jun 2006 21:50:53 +0000 (19 21:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 19 Jun 2006 21:50:53 +0000 (19 21:50 +0000)
tree1f781a067883e9e3e3fe208c444aeb3fd0a6efb8
parent17ebfabbf296c246145a3f1832c316d73715f8fa
Allow user fault messages in output in bad-* tests.
Add "pass;" at end of each bad-* test checker script.
src/tests/tests.pm
src/tests/userprog/bad-jump.ck
src/tests/userprog/bad-jump2.ck
src/tests/userprog/bad-read.ck
src/tests/userprog/bad-read2.ck
src/tests/userprog/bad-write.ck
src/tests/userprog/bad-write2.ck