added IGNORE_USER_FAULTS flag - so students may report failed stack growth

[pintos-anon] / src / tests / vm / pt-grow-bad.ck

# -*- perl -*-
use strict;
use warnings;
use tests::tests;
check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
(pt-grow-bad) begin
pt-grow-bad: exit(-1)
EOF
pass;