added IGNORE_USER_FAULTS flag - so students may report failed stack growth
authorGodmar Back <godmar@gmail.com>
Wed, 1 Nov 2006 21:20:52 +0000 (21:20 +0000)
committerGodmar Back <godmar@gmail.com>
Wed, 1 Nov 2006 21:20:52 +0000 (21:20 +0000)
commitab1373d2af34ff0a0b352162cf5a3115c70e3732
tree34e4c32a3dd1613d2ed1494c89cc1748acec0dea
parent111f774134415bb8da9b3882175603f2693026d9
added IGNORE_USER_FAULTS flag - so students may report failed stack growth
src/tests/vm/pt-grow-bad.ck