X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=grading%2Ffilesys%2Fseq-random.inc;h=e22ba89d6f9c7ea9683d2b972dbaf849cc936b02;hb=6ebebc408e12133c4130923081c40bbfbdd281d4;hp=a0e61061fd47c473694cfb2c6336b97a216e4975;hpb=6ebce2100b371612b554bf17a3ce613a4093df37;p=pintos-anon

diff --git a/grading/filesys/seq-random.inc b/grading/filesys/seq-random.inc
index a0e6106..e22ba89 100644
--- a/grading/filesys/seq-random.inc
+++ b/grading/filesys/seq-random.inc
@@ -11,12 +11,11 @@ return_random (void)
   return random_ulong () % 1031 + 1;
 }
 
-int
-main (void) 
+void
+test_main (void) 
 {
-  msg ("begin");
   random_init (-1);
-  seq_test ("nibble", buf, sizeof buf, sizeof buf, 5, return_random, NULL);
-  msg ("end");
-  return 0;
+  seq_test ("nibble",
+            buf, sizeof buf, sizeof buf,
+            return_random, NULL);
 }