X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Fvm%2Fpage-parallel.c;h=9d619e0d644de8b7342f1300a9829a068eb14e86;hb=a36a980e3df79c1d75c7ebedd8cb85cfe01d0795;hp=69ec619a23665539d24a58a3f508dd4240dfd048;hpb=843dc0b0675db989ffa0c953ca71b211a57eed9c;p=pintos-anon

diff --git a/src/tests/vm/page-parallel.c b/src/tests/vm/page-parallel.c
index 69ec619..9d619e0 100644
--- a/src/tests/vm/page-parallel.c
+++ b/src/tests/vm/page-parallel.c
@@ -1,10 +1,10 @@
-/* Runs 3 child-linear processes at once. */
+/* Runs 4 child-linear processes at once. */
 
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"
 
-#define CHILD_CNT 3
+#define CHILD_CNT 4
 
 void
 test_main (void)