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