Struct ProofStatusInfo 

pub struct ProofStatusInfo {
    pub level: String,
    pub obligations: u32,
    pub falsification_tests: u32,
    pub kani_harnesses: u32,
    pub lean_proved: u32,
}

Inline proof status info for enrichment.

Fields

level: String

obligations: u32

falsification_tests: u32

kani_harnesses: u32

lean_proved: u32

Trait Implementations

impl Clone for ProofStatusInfo

fn clone(&self) -> ProofStatusInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStatusInfo

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

Formats the value using the given formatter.

impl Serialize for ProofStatusInfo

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

where __S: Serializer,

Serialize this value into the given Serde serializer.