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 void
  15 test_main (void)
  16 {
  17   random_init (-1);
  18   seq_test ("nibble",
  19             buf, sizeof buf, sizeof buf,
  20             return_random, NULL);
  21 }