Enum modelator::model::checker::ModelCheckerWorkers [−][src]
pub enum ModelCheckerWorkers {
Auto,
Count(usize),
}
Expand description
Configuration option to select the number of model checker workers.
Variants
Auto
Automatically select the number of model checker worker threads based on the number of available cores.
Count(usize)
Tuple Fields
0: usize
Number of model checker worker threads.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ModelCheckerWorkers
impl Send for ModelCheckerWorkers
impl Sync for ModelCheckerWorkers
impl Unpin for ModelCheckerWorkers
impl UnwindSafe for ModelCheckerWorkers
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more