X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpage-merge-par.c;h=d588bb0a0794dccc751498194e32b67493c61127;hb=424970679fb7dec648531888ae26919b784de1b6;hp=0c2cc7f03b33c7d6266c433c8174029b4679671d;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/vm/page-merge-par.c b/src/tests/vm/page-merge-par.c
index 0c2cc7f..d588bb0 100644
--- a/src/tests/vm/page-merge-par.c
+++ b/src/tests/vm/page-merge-par.c
@@ -1,3 +1,8 @@
+/* Generates about 1 MB of random data that is then divided into
+   16 chunks.  A separate subprocess sorts each chunk; the
+   subprocesses run in parallel.  Then we merge the chunks and
+   verify that the result is what it should be. */
+
 #include <stdio.h>
 #include <syscall.h>
 #include "tests/arc4.h"