Struct ExplorerConfig 

pub struct ExplorerConfig {
    pub base_seed: u64,
    pub max_runs: usize,
    pub max_steps_per_run: u64,
    pub worker_count: usize,
    pub record_traces: bool,
}

Configuration for the schedule explorer.

Fields

base_seed: u64

Starting seed. Runs use seeds base_seed, base_seed + 1, etc.

max_runs: usize

Maximum number of exploration runs.

max_steps_per_run: u64

Maximum steps per run before the runtime gives up.

worker_count: usize

Number of simulated workers.

record_traces: bool

Enable trace recording for canonicalization.

Implementations

impl ExplorerConfig

pub fn new(base_seed: u64, max_runs: usize) -> Self

Create a config with the given base seed and run count.

pub fn worker_count(self, n: usize) -> Self

Set the number of simulated workers.

pub fn max_steps(self, n: u64) -> Self

Set the max steps per run.

Trait Implementations

impl Clone for ExplorerConfig

fn clone(&self) -> ExplorerConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExplorerConfig

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

Formats the value using the given formatter.

impl Default for ExplorerConfig

fn default() -> Self

Returns the “default value” for a type.