Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / seq-random.inc

diff --git a/grading/filesys/seq-random.inc b/grading/filesys/seq-random.inc
index a0e61061fd47c473694cfb2c6336b97a216e4975..e22ba89d6f9c7ea9683d2b972dbaf849cc936b02 100644 (file)
--- 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);
 }