testsuite/knuth-lfib-test.c

   1 #include "testutils.h"
   2 #include "knuth-lfib.h"
   3
   4 void
   5 test_main(void)
   6 {
   7   struct knuth_lfib_ctx ctx;
   8
   9   uint32_t a[2009];
  10   uint32_t x;
  11   unsigned m;
  12
  13   knuth_lfib_init(&ctx, 310952);
  14   for (m = 0; m<2009; m++)
  15     knuth_lfib_get_array(&ctx, 1009, a);
  16
  17   x = knuth_lfib_get(&ctx);
  18   ASSERT (x == 461390032);
  19 }