36 for (rsf=0; rsf<
F; ++rsf){
37 for (retry=0; retry<3; retry++){
39 seeds[
i] = random_seed[rsf]();
41 if (seeds[j] == seeds[
i])
49 printf(
"rsf %d: FAIL at %d with %"PRIX32
"\n", rsf, j, seeds[j]);
#define i(width, name, range_min, range_max)
__device__ int printf(const char *,...)
uint32_t av_get_random_seed(void)
Get a seed to use in conjunction with random functions.
static uint32_t get_generic_seed(void)
uint32_t(* random_seed_ptr_t)(void)