additional_cargo_args = ["--all-features"]
examine_globs = ["units/src/**/*.rs"]
exclude_globs = [
    "units/src/amount/verification.rs" # kani tests
]
exclude_re = [
    "impl Debug",
    "impl Arbitrary",
    "impl Display",
    ".*Error",
    "deserialize", # Skip serde mutation tests

    # ----------------------------------Crate-specific exclusions----------------------------------
    # Units
    # src/amount/mod.rs
    "parse_signed_to_satoshi", # Can't kill all mutants since there is no denomination smaller than Satoshi
    "fmt_satoshi_in", # Related to formatting/display
    "dec_width", # Replacing num /= 10 with num %=10 in a loop causes a timeout due to infinite loop
    # src/locktime/relative.rs
    "Time::to_consensus_u32", # Mutant from replacing | with ^, this returns the same value since the XOR is taken against the u16 with an all-zero bitmask
]