Skip to main content

symbolic_invariant_failure_site_matches

forge::runner

Function symbolic_invariant_failure_site_matches 

Source 
fn symbolic_invariant_failure_site_matches(
    expected: SymbolicInvariantFailureSite,
    actual: Option<CheckSequenceFailureSite>,
) -> bool