From: Godmar Back Date: Fri, 16 Nov 2007 02:18:35 +0000 (+0000) Subject: added IGNORE_USER_FAULTS clause to match specification X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=594421de07283cdf4cce7226eb2c468c7ea2fedd added IGNORE_USER_FAULTS clause to match specification --- diff --git a/src/tests/vm/mmap-inherit.ck b/src/tests/vm/mmap-inherit.ck index 7e69122..c54638a 100644 --- 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" diff --git a/src/tests/vm/mmap-zero.ck b/src/tests/vm/mmap-zero.ck index 0130fbd..6033d5d 100644 --- a/src/tests/vm/mmap-zero.ck +++ b/src/tests/vm/mmap-zero.ck @@ -2,7 +2,7 @@ use strict; use warnings; use tests::tests; -check_expected ([<<'EOF']); +check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']); (mmap-zero) begin (mmap-zero) create empty file "empty" (mmap-zero) open "empty"