Fix bug reported by Mike Brown <mbrown@vmware.com>, in which a
[pintos-anon] / src / tests / main.c
2005-06-19 Ben PfaffMake tests public. Rewrite most tests. Add tests.