Enum SafetyReason 

pub enum SafetyReason {
    DangerousConstruct(String),
    CompileFailed(String),
    Structural(StructuralRule),
    ProbeStringTimeout(usize),
    ProbeSubprocessTimeout,
    ProbeSpawnFailed(String),
    UnreachableProbe,
    OverBudget {
        cap: usize,
        extrapolated: f64,
        ratio: f64,
        min_32: f64,
        median_32: f64,
        load_factor: f64,
    },
    BuilderDeadline(String),
    Safe,
}

Why a pattern was rejected or accepted.

Variants

DangerousConstruct(String)

One of the three dangerous backtracking constructs.

CompileFailed(String)

Neither engine can compile the pattern.

Structural(StructuralRule)

A structural detector flagged the pattern.

ProbeStringTimeout(usize)

A test string exceeded the per-string threshold.

ProbeSubprocessTimeout

The test-strings child was killed by its deadline.

ProbeSpawnFailed(String)

The timing child failed to spawn or exited unexpectedly.

UnreachableProbe

No reaching probe could be synthesized.

OverBudget

Extrapolated cost exceeds the budget at the cap.

Fields

cap: usize

extrapolated: f64

ratio: f64

min_32: f64

median_32: f64

load_factor: f64

BuilderDeadline(String)

Probe construction exceeded its deadline or a builder budget.

Safe

No adversarial trigger found; certified safe.

Implementations

impl SafetyReason

pub fn reason_class(&self) -> &'static str

The stable reason class token (the corpus pins these).

Trait Implementations

impl Clone for SafetyReason

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SafetyReason

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

Formats the value using the given formatter.

impl Display for SafetyReason

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

Formats the value using the given formatter.

impl PartialEq for SafetyReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SafetyReason