1 #![allow(dead_code)]
2 
3 use rayon::ThreadPoolBuilder;
4 use std::env;
5 
6 pub mod eq;
7 pub mod parse;
8 
9 /// Read the `ABORT_AFTER_FAILURE` environment variable, and parse it.
abort_after() -> usize10 pub fn abort_after() -> usize {
11     match env::var("ABORT_AFTER_FAILURE") {
12         Ok(s) => s.parse().expect("failed to parse ABORT_AFTER_FAILURE"),
13         Err(_) => usize::max_value(),
14     }
15 }
16 
17 /// Configure Rayon threadpool.
rayon_init()18 pub fn rayon_init() {
19     let stack_size = match env::var("RUST_MIN_STACK") {
20         Ok(s) => s.parse().expect("failed to parse RUST_MIN_STACK"),
21         Err(_) => 20 * 1024 * 1024,
22     };
23     ThreadPoolBuilder::new()
24         .stack_size(stack_size)
25         .build_global()
26         .unwrap();
27 }
28