validate_assertion_contracts

Function validate_assertion_contracts 

Source
pub fn validate_assertion_contracts() -> Vec<String>
Expand description

Validate that all sometimes_assert! assertions actually behave as “sometimes”.

This simplified function checks that sometimes_assert! assertions have a success rate of at least 1%.

§Returns

A vector of violation messages, or empty if all assertions are valid.

Validate that all assertion contracts have been met.