Struct AdaptiveStepConfig 

pub struct AdaptiveStepConfig {
    pub pass_threshold: f64,
    pub fail_threshold: f64,
    pub time_budget_secs: f64,
    pub max_samples: usize,
    pub theta_ns: f64,
    pub seed: u64,
    pub quality_gates: QualityGateConfig,
}

Configuration for the adaptive step (no_std compatible).

Uses f64 for time values instead of std::time::Duration.

Fields

pass_threshold: f64

Threshold below which we pass (no significant leak).

fail_threshold: f64

Threshold above which we fail (leak detected).

time_budget_secs: f64

Time budget in seconds.

max_samples: usize

Maximum samples per class.

theta_ns: f64

Effect threshold (theta) in nanoseconds.

seed: u64

Random seed for Monte Carlo integration.

quality_gates: QualityGateConfig

Quality gate configuration.

Implementations

impl AdaptiveStepConfig

pub fn with_theta(theta_ns: f64) -> Self

Create a new config with the given theta threshold.

pub fn pass_threshold(self, threshold: f64) -> Self

Builder method to set pass threshold.

pub fn fail_threshold(self, threshold: f64) -> Self

Builder method to set fail threshold.

pub fn time_budget_secs(self, secs: f64) -> Self

Builder method to set time budget in seconds.

pub fn max_samples(self, max: usize) -> Self

Builder method to set max samples.

Trait Implementations

impl Clone for AdaptiveStepConfig

fn clone(&self) -> AdaptiveStepConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdaptiveStepConfig

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

Formats the value using the given formatter.

impl Default for AdaptiveStepConfig

fn default() -> Self

Returns the “default value” for a type.