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)
commitdbe9fc1bca4ce78ab36dfea71d441ceda0a81ceb
treecb9210648e80dd4c155f8d3b08c2d010069264bf
parentc31790c89681565f83678b4abc2aa89876c2151d
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