Enum Golden 

pub enum Golden {
    Vm {
        program: fn() -> String,
        func: &'static str,
    },
    VmLanes {
        program: fn() -> String,
        func: &'static str,
        lanes: usize,
    },
    Oracle(fn(&Words) -> Words),
}

The reference a kernel’s results are checked against.

Variants

Vm

The LOGOS function func declared by program(), run on the VM: every input port is one Int argument and the single output port is its result.

Fields

program: fn() -> String

func: &'static str

VmLanes

The VM computes each lane of a SIMT step with func; the engine’s mask and cross-lane sum are composed over those lane results.

Fields

program: fn() -> String

func: &'static str

lanes: usize

Oracle(fn(&Words) -> Words)

The Rust oracle the kernel’s RTL generator is locked against.

Trait Implementations

impl Clone for Golden

fn clone(&self) -> Golden

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Golden

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

Formats the value using the given formatter.

impl Copy for Golden