162 std::unordered_map<int, int> values;
165 values[dut->random<
int>(4,6)]++;
168 ASSERT_EQ(values.count(4), 1);
169 ASSERT_EQ(values.count(5), 1);
170 ASSERT_EQ(values.count(6), 1);
171 ASSERT_EQ(values.size(), 3);
178 values[dut->random<
int>(-1,1)]++;
181 ASSERT_EQ(values.count(-1), 1);
182 ASSERT_EQ(values.count(0), 1);
183 ASSERT_EQ(values.count(1), 1);
184 ASSERT_EQ(values.size(), 3);
192 values[dut->random<
int>(-6,-4)]++;
195 ASSERT_EQ(values.count(-6), 1);
196 ASSERT_EQ(values.count(-5), 1);
197 ASSERT_EQ(values.count(-4), 1);
198 ASSERT_EQ(values.size(), 3);
261TEST(RandomReseed, GlobalReseedLive)
266 ASSERT_EQ(base_rng->random<uint64_t>(), 14514284786278117030ll
u);
267 ASSERT_EQ(my_rng->random<uint64_t>(), 12913197394697896830ll
u);
271 ASSERT_EQ(base_rng->random<uint64_t>(), 13930160852258120406ll
u);
272 ASSERT_EQ(my_rng->random<uint64_t>(), 13930160852258120406ll
u);