projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 745b4d6) | 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)
commit253432b5b00e4f4392a1c95eff87fc4dfcfc8647
treec02799996f19d969bceaa68db7dba902ea8be3a7tree | snapshot
parent745b4d68dc76ac7091bf07827d641fa4d2b07648commit | 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