Searched refs:use_fixed_seed (Results 1 – 1 of 1) sorted by relevance
818 unsigned use_fixed_seed = config.getUnsignedValue("use_fixed_seed"); in set_seed() local819 if (use_fixed_seed) { in set_seed()823 seed = use_fixed_seed; in set_seed()