Struct ReportSummary 

pub struct ReportSummary {
    pub total_tests: usize,
    pub rejected: usize,
    pub not_rejected: usize,
    pub status: String,
}

Summary of nullification report.

Fields

total_tests: usize

Total number of tests.

rejected: usize

Number of rejected hypotheses.

not_rejected: usize

Number of not-rejected hypotheses.

status: String

Overall status.

Trait Implementations

impl Clone for ReportSummary

fn clone(&self) -> ReportSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReportSummary

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

Formats the value using the given formatter.

impl Default for ReportSummary

fn default() -> ReportSummary

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ReportSummary

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ReportSummary

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

where __S: Serializer,

Serialize this value into the given Serde serializer.