Struct ProofStatusTotals 

pub struct ProofStatusTotals {
    pub contracts: u32,
    pub obligations: u32,
    pub falsification_tests: u32,
    pub kani_harnesses: u32,
    pub lean_proved: u32,
    pub bindings_implemented: u32,
    pub bindings_total: u32,
}

Aggregate totals across all contracts.

Fields

contracts: u32

Total number of contracts analyzed

obligations: u32

Sum of proof obligations across all contracts

falsification_tests: u32

Sum of falsification tests across all contracts

kani_harnesses: u32

Sum of Kani harnesses across all contracts

lean_proved: u32

Sum of Lean-proved obligations across all contracts

bindings_implemented: u32

Sum of implemented bindings across all contracts

bindings_total: u32

Sum of total bindings across all contracts

Trait Implementations

impl Clone for ProofStatusTotals

fn clone(&self) -> ProofStatusTotals

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofStatusTotals

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofStatusTotals

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofStatusTotals

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

where __S: Serializer,

Serialize this value into the given Serde serializer.