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

diff --git a/src/tests/vm/page-parallel.ck b/src/tests/vm/page-parallel.ck
index c6817b7..90c14ef 100644
--- a/src/tests/vm/page-parallel.ck
+++ b/src/tests/vm/page-parallel.ck
@@ -7,9 +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;