added IGNORE_USER_FAULTS clause to match specification

[pintos-anon] / src / tests / vm / mmap-zero.ck

# -*- perl -*-
use strict;
use warnings;
use tests::tests;
check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
(mmap-zero) begin
(mmap-zero) create empty file "empty"
(mmap-zero) open "empty"
(mmap-zero) mmap "empty"
mmap-zero: exit(-1)
EOF
pass;