Struct RawRun 

pub struct RawRun {
    pub exit_reason: u32,
    pub exit_arg: u32,
    pub return_value: u64,
    pub gas_used: u64,
    pub scratchpad_head: [u8; 128],
}

Raw invocation outcome for differential testing — the four InvocationResult fields with no clean-halt assertion.

run_interpreter/run_recompiler assert a clean HostCall(0) halt (via finish) and panic otherwise — correct for benches, wrong for a differential harness that must observe a divergent exit. These raw variants surface whatever happened, with exit_reason = ABORT_SENTINEL for the recompiler’s guest-abort path.

gas_used is INITIAL_GAS - gas_remaining; on an abort it is 0 (no InvocationResult was produced).

scratchpad_head is the running Instance’s scratchpad (slot[0]) region head — the lossless, model-conformant result readback that supersedes the former x10 fold. The fuzz differential compares it across engines and against the oracle gold (see javm_fuzz::replay).

Fields

exit_reason: u32

exit_arg: u32

return_value: u64

gas_used: u64

scratchpad_head: [u8; 128]

Trait Implementations

impl Clone for RawRun

fn clone(&self) -> RawRun

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RawRun

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

Formats the value using the given formatter.

impl PartialEq for RawRun

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

impl Eq for RawRun

impl StructuralPartialEq for RawRun