Struct loom::model::Builder

pub struct Builder {
    pub max_threads: usize,
    pub max_branches: usize,
    pub max_permutations: Option<usize>,
    pub max_duration: Option<Duration>,
    pub preemption_bound: Option<usize>,
    pub checkpoint_file: Option<PathBuf>,
    pub checkpoint_interval: usize,
    pub log: bool,
    // some fields omitted
}

Configure a model

Fields

max_threads: usize

Max number of threads to check as part of the execution. This should be set as low as possible.

max_branches: usize

Maximum number of thread switches per permutation.

max_permutations: Option<usize>

Maximum number of permutations to explore.

max_duration: Option<Duration>

Maximum amount of time to spend on checking

preemption_bound: Option<usize>

Maximum number of thread preemptions to explore

checkpoint_file: Option<PathBuf>

When doing an exhaustive check, uses the file to store and load the check progress

checkpoint_interval: usize

How often to write the checkpoint file

log: bool

Log execution output to stdout.

Methods

impl Builder

pub fn new() -> Builder

Create a new Builder instance with default values.

pub fn checkpoint_file(&mut self, file: &str) -> &mut Self

Set the checkpoint file.

pub fn check<F>(&self, f: F) where
    F: Fn() + Sync + Send + 'static, 

CHeck a model

Trait Implementations

impl Debug for Builder

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.