added IGNORE_USER_FAULTS clause to match specification

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

diff --git a/src/tests/vm/mmap-inherit.ck b/src/tests/vm/mmap-inherit.ck
index 59b53897faa4c62bcf1a582eef24e4cc065bb972..c54638a0f928645dd904032b55079d0d123510b2 100644 (file)
--- a/src/tests/vm/mmap-inherit.ck
+++ b/src/tests/vm/mmap-inherit.ck
@@ -2,7 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
-check_expected ( [<<'EOF']);
+check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
 (mmap-inherit) begin
 (mmap-inherit) open "sample.txt"
 (mmap-inherit) mmap "sample.txt"
@@ -13,3 +13,4 @@ child-inherit: exit(-1)
 (mmap-inherit) end
 mmap-inherit: exit(0)
 EOF
+pass;