milksad
/
rust-bitcoin-unsafe-fast
14
0
Fork 0
Code Issues Pull Requests Activity

Add primitives to mutants.toml 

Add exceptions for `primitives` to `mutants.toml`.

Add `primitives` to the list of paths to run cargo mutants on.
This commit is contained in:
Jamil Lambert, PhD 2025-02-11 17:52:32 +00:00
parent 32b05132b5
commit 3c12d4eb1f
No known key found for this signature in database
GPG Key ID: 54DC29234AB5D2C0
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.cargo/mutants.toml
View File

@ -1,5 +1,5 @@
additional_cargo_args = ["--all-features"] additional_cargo_args = ["--all-features"]
examine_globs = ["units/src/**/*.rs"] examine_globs = ["units/src/**/*.rs", "primitives/src/**/*.rs"]
exclude_globs = [ exclude_globs = [
"units/src/amount/verification.rs" # kani tests "units/src/amount/verification.rs" # kani tests
] ]
@ -9,6 +9,7 @@ exclude_re = [
"impl Display", "impl Display",
".*Error", ".*Error",
"deserialize", # Skip serde mutation tests "deserialize", # Skip serde mutation tests
"Iterator", # Mutating operations in an iterator can result in an infinite loop
# ----------------------------------Crate-specific exclusions---------------------------------- # ----------------------------------Crate-specific exclusions----------------------------------
# Units # Units
@ -18,4 +19,14 @@ exclude_re = [
"dec_width", # Replacing num /= 10 with num %=10 in a loop causes a timeout due to infinite loop "dec_width", # Replacing num /= 10 with num %=10 in a loop causes a timeout due to infinite loop
# src/locktime/relative.rs # 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 "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
# primitives
"Sequence::from_512_second_intervals", # Mutant from replacing | with ^, this returns the same value since the XOR is taken against the u16 with an all-zero bitmask
"Opcode::classify", # Not possible to kill all mutants without individually checking every opcode classification
"Block<Checked>::cached_witness_root", # Skip getters
"Block<Checked>::transactions", # Skip getters
"Script::to_bytes", # Deprecated
"decode_cursor", # Mutating operations in decode_cursor can result in an infinite loop
"fmt_debug", # Mutants from formatting/display changes
"fmt_debug_pretty", # Mutants from formatting/display changes
] ]