pintos-os.org Git - pintos-anon/blob - src/tests/filesys/base/seq-random.inc

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