vyre-conform 0.1.0

use super::FalsifiabilityEntry;

pub(super) const fn entry(
    law_name: &'static str,
    canonical_counterexample: &'static str,
) -> FalsifiabilityEntry {
    FalsifiabilityEntry {
        law_name,
        canonical_counterexample,
        catches_violator: true,
        passes_honest: true,
    }
}