5#ifndef OPENTITAN_SW_DEVICE_LIB_TESTING_RAND_TESTUTILS_H_
6#define OPENTITAN_SW_DEVICE_LIB_TESTING_RAND_TESTUTILS_H_
10#include "sw/device/lib/testing/rv_core_ibex_testutils.h"
52} rand_testutils_rng_t;
57extern rand_testutils_rng_t rand_testutils_rng_ctx;
76inline void rand_testutils_reseed(
void) {
77 rand_testutils_rng_ctx.op_counter = UINT32_MAX;
88uint32_t rand_testutils_gen32(
void);
101uint32_t rand_testutils_gen32_range(uint32_t min, uint32_t max);
111void rand_testutils_shuffle(
void *array,
size_t size,
size_t length);