Struct HardwareReport 

pub struct HardwareReport {
    pub sections: Vec<Section>,
    pub verdict: Option<(String, Option<bool>)>,
    pub trace: Vec<(String, String)>,
    pub signals: Vec<String>,
    pub kg: KgSummary,
    pub error: Option<String>,
}

Everything the Studio shows for a Hardware design.

Fields

sections: Vec<Section>

verdict: Option<(String, Option<bool>)>

The verdict line and whether it is a success, a failure, or neither.

trace: Vec<(String, String)>

A counterexample when the verdict fails, a witness run when it holds.

signals: Vec<String>

kg: KgSummary

error: Option<String>

Trait Implementations

impl Clone for HardwareReport

fn clone(&self) -> HardwareReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HardwareReport

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

Formats the value using the given formatter.

impl Default for HardwareReport

fn default() -> HardwareReport

Returns the “default value” for a type.

impl PartialEq for HardwareReport

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