projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 111f774) | patch
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
tree34e4c32a3dd1613d2ed1494c89cc1748acec0deatree | snapshot
parent111f774134415bb8da9b3882175603f2693026d9commit | diff
added IGNORE_USER_FAULTS flag - so students may report failed stack growth
src/tests/vm/pt-grow-bad.ck diff | blob | history
Pintos public repository