From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 19 Jun 2006 21:50:53 +0000 (+0000)
Subject: Allow user fault messages in output in bad-* tests.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9750868b9c1fc53f2ac25bd7fe0f6152cc55ff03;hp=9750868b9c1fc53f2ac25bd7fe0f6152cc55ff03;p=pintos-anon

Allow user fault messages in output in bad-* tests.
Add "pass;" at end of each bad-* test checker script.
---