File tree Expand file tree Collapse file tree 3 files changed +6
-7
lines changed
Expand file tree Collapse file tree 3 files changed +6
-7
lines changed Original file line number Diff line number Diff line change 55#include < dynamix/feature_info_data.hpp>
66
77#include < doctest/doctest.h>
8+ #include < doctest/util/random.hpp>
89#include < thread>
910#include < deque>
1011#include < cstdlib>
@@ -101,8 +102,7 @@ TEST_CASE("fuzz features") {
101102 std::deque<feature_generator> generators;
102103 std::deque<feature_getter> getters;
103104
104- unsigned initial_seed = std::random_device{}();
105- printf (" initial seed: %u\n " , initial_seed);
105+ unsigned initial_seed = GET_RANDOM_DEVICE_SEED (" fuzz features" );
106106 std::minstd_rand seeder (initial_seed);
107107 for (auto & b : bases) {
108108 generators.emplace_back (dom, b, seeder ());
Original file line number Diff line number Diff line change 33#include < dynamix/mixin_info_data.hpp>
44
55#include < doctest/doctest.h>
6+ #include < doctest/util/random.hpp>
67#include < itlib/qalgorithm.hpp>
78#include < thread>
89#include < deque>
@@ -134,8 +135,7 @@ TEST_CASE("fuzz mixins") {
134135 std::deque<mixin_generator> generators;
135136 std::deque<mixin_getter> getters;
136137
137- unsigned initial_seed = std::random_device{}();
138- printf (" initial seed: %u\n " , initial_seed);
138+ unsigned initial_seed = GET_RANDOM_DEVICE_SEED (" fuzz mixins" );
139139 std::minstd_rand seeder (initial_seed);
140140
141141 dynamix::domain dom;
Original file line number Diff line number Diff line change 99#include < dynamix/dbg_dmp.hpp>
1010
1111#include < doctest/doctest.h>
12+ #include < doctest/util/random.hpp>
1213
1314#include < itlib/qalgorithm.hpp>
1415#include < itlib/flat_set.hpp>
@@ -178,9 +179,7 @@ class custom_rule {
178179};
179180
180181TEST_CASE (" fuzz objects and types" ) {
181- const unsigned initial_seed = std::random_device{}();
182- // const unsigned initial_seed = 1283054047;
183- printf (" initial seed: %u\n " , initial_seed);
182+ const unsigned initial_seed = GET_RANDOM_DEVICE_SEED (" fuzz objects and types" );
184183 std::minstd_rand seeder (initial_seed);
185184
186185 std::minstd_rand rnd (seeder ());
You can’t perform that action at this time.
0 commit comments