Searched refs:random_pipeline_closure_seed (Results 1 – 2 of 2) sorted by relevance
152 pub random_pipeline_closure_seed: Option<usize>, field531 random_pipeline_closure_seed: None, in default_opts()735 let random_pipeline_closure_seed = opt_match.opt_str("random-pipeline-closure-seed").map(|seed| in from_cmdline_args() localVariable830 random_pipeline_closure_seed: random_pipeline_closure_seed, in from_cmdline_args()
617 let seed = opts::get().random_pipeline_closure_seed.unwrap_or_else(random); in start()