Allow user fault messages in output in bad-* tests.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 19 Jun 2006 21:50:53 +0000 (21:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 19 Jun 2006 21:50:53 +0000 (21:50 +0000)
commit9750868b9c1fc53f2ac25bd7fe0f6152cc55ff03
tree1f781a067883e9e3e3fe208c444aeb3fd0a6efb8
parent7bdfa163281617e45add7058dfb9b1a27d064a1f
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