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)

No differences found