Skip to main content

symbolic_artifact_predicate_failure_matches

Function symbolic_artifact_predicate_failure_matches 

Source
fn symbolic_artifact_predicate_failure_matches(
    failure: Option<&SymbolicInvariantArtifactFailure>,
    outcome: &CheckSequenceOutcome,
) -> bool