Searched refs:rand_seed (Results 1 – 1 of 1) sorted by relevance
952 unsigned rand_seed; // the seed for rand ordering member5581 .writeAttribute("rand_seed", opt.rand_seed)6716 DOCTEST_PARSE_INT_OPTION("rand-seed", "rs", rand_seed, 0);6941 std::srand(p->rand_seed);