66 std::mt19937 eng(seed);
68 for (
u32 i = 0; i < len; i++) {
69 vec.push_back(
mock_value(eng, min_bound, max_bound));
102 return mock_vector(seed, len, Prop::get_min(), Prop::get_max());
std::uint32_t u32
32 bit unsigned integer
std::uint64_t u64
64 bit unsigned integer
namespace for primitive algorithm (e.g. sort, scan, reductions, ...)
T mock_value(Engine &eng, T min_bound, T max_bound)
Generates a random mock value within specified bounds.
std::vector< T > mock_vector(u64 seed, u32 len, T min_bound, T max_bound)
Generates a vector of random mock values within specified bounds.