prandom_u32_below
else if (prandom_u32_below(rng, 4) == 0)
if (prandom_u32_below(rng, 4) == 0)
div->offset = prandom_u32_below(rng, 32);
div->offset = prandom_u32_below(rng, PAGE_SIZE);
if (prandom_u32_below(rng, 8) == 0)
switch (prandom_u32_below(rng, 4)) {
switch (prandom_u32_below(rng, 4)) {
switch (prandom_u32_below(rng, 4)) {
if (prandom_u32_below(rng, 4) == 0)
prandom_u32_below(rng, 4) == 0);
if (prandom_u32_below(rng, 4) == 0)
vec->klen = prandom_u32_below(rng, maxkeysize + 1);
if (prandom_u32_below(rng, 4) == 0)
authsize = prandom_u32_below(rng, maxauthsize + 1);
if (prandom_u32_below(rng, 4) == 0)
if (prandom_u32_below(rng, 4) == 0)
vec->klen = prandom_u32_below(rng, maxkeysize + 1);
return prandom_u32_below(rng, 2);
return floor + prandom_u32_below(rng, ceil - floor + 1);
unsigned int len = prandom_u32_below(rng, max_len + 1);
switch (prandom_u32_below(rng, 4)) {
if (len && prandom_u32_below(rng, 4) == 0)
bitpos = prandom_u32_below(rng, size * 8);
buf[prandom_u32_below(rng, size)] ^= 0xff;
if (prandom_u32_below(rng, 4) == 0) {
num_flips = min_t(size_t, 1 << prandom_u32_below(rng, 8),
if (prandom_u32_below(rng, 4) == 0) {
num_flips = min_t(size_t, 1 << prandom_u32_below(rng, 8), size);
switch (prandom_u32_below(rng, 8)) { /* Choose a generation strategy */
switch (prandom_u32_below(rng, 4)) {
r = prandom_u32_below(n + 1);