X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fvm%2Fpage-merge-seq.c;h=12e388093fd9b77b2f09e31ac70e4f1829bf72d4;hb=500278652b3d3ec6ba08c150e749b65ca4a5d208;hp=f41de2bb7b800359b0e5425a1ce1b74db775a0ab;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/vm/page-merge-seq.c b/src/tests/vm/page-merge-seq.c index f41de2b..12e3880 100644 --- a/src/tests/vm/page-merge-seq.c +++ b/src/tests/vm/page-merge-seq.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 in + sequence. Then we merge the chunks and verify that the result + is what it should be. */ + #include #include "tests/arc4.h" #include "tests/lib.h"