Enum Oracle 

pub enum Oracle {
    OutputContains {
        marker: String,
    },
    SinkProbe {
        sentinel_path: String,
        expect_contains: Option<String>,
    },
}

Differential-rule oracle predicates the payload runner can evaluate.

OutputContains is the simplest sink probe: scan the sandboxed child’s stdout + stderr for a string marker. SinkProbe adds a sentinel-file path the harness writes to when its instrumented sink fires; the runner checks both the file’s existence and (optionally) its contents.

Variants

OutputContains

Trip when marker appears in captured stdout/stderr.

Fields

marker: String

SinkProbe

Trip when sentinel_path exists after the run. When expect_contains is set, additionally require the file’s contents to include that substring.

Fields

sentinel_path: String

expect_contains: Option<String>

Trait Implementations

impl Clone for Oracle

fn clone(&self) -> Oracle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Oracle

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Oracle

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Oracle

fn eq(&self, other: &Oracle) -> 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 Serialize for Oracle

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Oracle

impl StructuralPartialEq for Oracle