Pintos: pintos/src/tests/filesys/base/seq-random.inc Source File

00001 /* -*- c -*- */
00002 
00003 #include <random.h>
00004 #include "tests/filesys/seq-test.h"
00005 #include "tests/main.h"
00006 
00007 static char buf[TEST_SIZE];
00008 
00009 static size_t
00010 return_random (void) 
00011 {
00012   return random_ulong () % 1031 + 1;
00013 }
00014 
00015 void
00016 test_main (void) 
00017 {
00018   random_init (-1);
00019   seq_test ("nibble",
00020             buf, sizeof buf, sizeof buf,
00021             return_random, NULL);
00022 }