From: Godmar Back Date: Wed, 1 Nov 2006 21:20:52 +0000 (+0000) Subject: added IGNORE_USER_FAULTS flag - so students may report failed stack growth X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=253432b5b00e4f4392a1c95eff87fc4dfcfc8647;p=pintos-anon added IGNORE_USER_FAULTS flag - so students may report failed stack growth --- diff --git a/src/tests/vm/pt-grow-bad.ck b/src/tests/vm/pt-grow-bad.ck index a5775c7..4c0ab8a 100644 --- a/src/tests/vm/pt-grow-bad.ck +++ b/src/tests/vm/pt-grow-bad.ck @@ -2,7 +2,7 @@ use strict; use warnings; use tests::tests; -check_expected ([<<'EOF']); +check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']); (pt-grow-bad) begin pt-grow-bad: exit(-1) EOF