Struct TestConfig 

pub struct TestConfig {
    pub filter: Option<String>,
    pub seed: u64,
    pub default_budget: u64,
    pub live: bool,
    pub prove: bool,
    pub all_tiers: bool,
    pub page_tiers: Vec<PageTierKind>,
}

Runner configuration.

Fields

filter: Option<String>

Substring filter over prose names (None = all).

seed: u64

The suite seed (default 0 — reproducibility is the default).

default_budget: u64

The default deterministic op budget per test; a test’s This test may run up to N steps. sentence overrides it.

live: bool

Run capability-granted (real-resource) tests too. Off by default — live tests leave the no-flake guarantee and are counted separately.

prove: bool

--prove: escalate finite-domain properties to exhaustive proof.

all_tiers: bool

--tiers all: re-run each passing test’s COMPUTATION on the bytecode VM and COMPARE — outcome class, FULL output byte-for-byte, and error text (a mismatch fails the test as a TIER DIVERGENCE); a computation the VM cannot run is an explicit tier: refused (…) failure with machine-readable TierEvidence — the user-facing F18 “works-on-my-tier” guard (Wave 13), honest by construction.

page_tiers: Vec<PageTierKind>

Which page tiers a MOUNTED test also runs on and must agree with the reference (the page’s lowered LOGOS on the tree-walker) — every candidate here beyond crate::page_host::PageTierKind::LoweredHere runs the test’s whole trace through page_host and compares it against the reference axis by axis (page_host::PageTrace::compare), unconditionally, on every largo test run: “what ships is not what is tested” is caught for free, not only under --tiers all. Defaults to [LoweredHere, LoweredVm] — every mounted test also runs on the page’s lowered LOGOS on the bytecode VM, the tier a browser actually runs. A Browser candidate here is exercised only when the caller hands run_tests_with_launcher a live launcher; without one it is reported as tier: refused rather than silently skipped.

Trait Implementations

impl Clone for TestConfig

fn clone(&self) -> TestConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TestConfig

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

Formats the value using the given formatter.

impl Default for TestConfig

fn default() -> Self

Returns the “default value” for a type.