Struct FalsificationTest 

pub struct FalsificationTest {
    pub id: String,
    pub rule: String,
    pub prediction: String,
    pub test: Option<String>,
    pub if_fails: String,
}

A Popperian falsification test.

Each makes a falsifiable prediction about the implementation. If the prediction is wrong, the test identifies root cause.

Fields

id: String

rule: String

What the test asserts. Alias description accepted for legacy pre-APR-MONO contracts that used the description: field name. name: is NOT aliased because several legacy contracts (e.g. publish-manifest-v1) ship both name: (a slug) and description: (prose) side-by-side; aliasing both collapses to a duplicate field error.

prediction: String

The predicted outcome if the rule holds. Alias expected accepted for legacy contracts (e.g. expected: exit 0, expected: "PASS"). Defaulted because diagnostic contracts often encode prediction inside the rule text alone.

test: Option<String>

How to run the test. Alias command accepted for legacy contracts (e.g. shell snippets under command: |).

if_fails: String

What failure means. Alias fails_if accepted for legacy contracts. Defaulted because several legacy diagnostic contracts omit it.

Trait Implementations

impl Clone for FalsificationTest

fn clone(&self) -> FalsificationTest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FalsificationTest

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

Formats the value using the given formatter.

impl Default for FalsificationTest

fn default() -> FalsificationTest

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FalsificationTest

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for FalsificationTest

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

where __S: Serializer,

Serialize this value into the given Serde serializer.