X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpage-parallel.ck;h=90c14ef035e6e1a0db6d017c970bf9b179045ab8;hb=5aede12cbaae26a13df4e2b926c78ed85945dbad;hp=14b37df54df40d5c78cb59df35a7e103add4302d;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/vm/page-parallel.ck b/src/tests/vm/page-parallel.ck
index 14b37df..90c14ef 100644
--- a/src/tests/vm/page-parallel.ck
+++ b/src/tests/vm/page-parallel.ck
@@ -7,8 +7,11 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (page-parallel) exec "child-linear"
 (page-parallel) exec "child-linear"
 (page-parallel) exec "child-linear"
+(page-parallel) exec "child-linear"
 (page-parallel) wait for child 0
 (page-parallel) wait for child 1
 (page-parallel) wait for child 2
+(page-parallel) wait for child 3
 (page-parallel) end
 EOF
+pass;