Struct ReplayOptions 

pub struct ReplayOptions {
    pub lake_root: Utf8PathBuf,
    pub timeout: Duration,
    pub keep_workdir: bool,
    pub allow_multi_file: bool,
    pub compute_baseline: bool,
    pub reverse_dep: bool,
    pub cache_get: bool,
}

Runtime options for a replay run.

Fields

lake_root: Utf8PathBuf

Lake workspace root that gets copied per attempt.

timeout: Duration

Per-compile timeout.

keep_workdir: bool

Keep each workspace copy on disk instead of deleting it.

allow_multi_file: bool

Allow an attempt to edit more than one file.

compute_baseline: bool

Compile an unpatched baseline so new errors and regressions are scored.

reverse_dep: bool

Run the reverse-dependency accept guard (lake build of the module).

cache_get: bool

Run lake exe cache get in the workspace when the project pulls mathlib, so dependency oleans are restored before the edited file is recompiled.

Implementations

impl ReplayOptions

pub fn new(lake_root: Utf8PathBuf) -> Self

Default options rooted at lake_root: one-minute timeout, disposable workspaces, single-file edits, baseline on, accept guards on.

Trait Implementations

impl Clone for ReplayOptions

fn clone(&self) -> ReplayOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplayOptions

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

Formats the value using the given formatter.

impl Eq for ReplayOptions

impl PartialEq for ReplayOptions

fn eq(&self, other: &ReplayOptions) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ReplayOptions