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;