From: Godmar Back <godmar@gmail.com>
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