Struct VerifyReport 

pub struct VerifyReport {
    pub contract: &'static str,
    pub kind: &'static str,
    pub project_root: String,
    pub fact: FactRef,
    pub reanchored: Reanchored,
    pub cleared: Option<&'static str>,
}

Fields

contract: &'static str

kind: &'static str

project_root: String

fact: FactRef

reanchored: Reanchored

cleared: Option<&'static str>

Trait Implementations

impl Debug for VerifyReport

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

Formats the value using the given formatter.

impl Serialize for VerifyReport

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

where __S: Serializer,

Serialize this value into the given Serde serializer.