Struct VerifyRun 

pub struct VerifyRun {
    pub payload: Vec<u8>,
    pub oracle_fired: bool,
    pub exit_code: i32,
    pub timed_out: bool,
    pub stdout: Vec<u8>,
    pub stderr: Vec<u8>,
    pub duration_ms: i64,
}

Captured outcome of a single sandboxed payload run.

Fields

payload: Vec<u8>

The payload bytes that were spliced into the harness.

oracle_fired: bool

true when the oracle predicate fired.

exit_code: i32

Exit code observed by the sandbox. Signal-killed children carry the conventional 128 + signum.

timed_out: bool

true iff the sandbox tore the child down because the per-run timeout fired before the child exited on its own.

stdout: Vec<u8>

Captured stdout, capped at the sandbox’s max_output_bytes.

stderr: Vec<u8>

Captured stderr, capped at the sandbox’s max_output_bytes.

duration_ms: i64

Wall-clock duration in milliseconds.

Trait Implementations

impl Clone for VerifyRun

fn clone(&self) -> VerifyRun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyRun

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyRun

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerifyRun

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

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 VerifyRun

impl StructuralPartialEq for VerifyRun