pintos-os.org Git - pintos-anon/blob - grading/filesys/seq-random.inc

   1 /* -*- c -*- */
   2
   3 #include <random.h>
   4 #include "fslib.h"
   5
   6 static char buf[TEST_SIZE];
   7
   8 static size_t
   9 return_random (void)
  10 {
  11   return random_ulong () % 1031 + 1;
  12 }
  13
  14 int
  15 main (void)
  16 {
  17   msg ("begin");
  18   random_init (-1);
  19   seq_test ("nibble", buf, sizeof buf, sizeof buf, 5, return_random, NULL);
  20   msg ("end");
  21   return 0;
  22 }