From 3c12d4eb1fcdfc8d7569ef3f4024811017abd15c Mon Sep 17 00:00:00 2001 From: "Jamil Lambert, PhD" Date: Tue, 11 Feb 2025 17:52:32 +0000 Subject: [PATCH] Add primitives to mutants.toml Add exceptions for `primitives` to `mutants.toml`. Add `primitives` to the list of paths to run cargo mutants on. --- .cargo/mutants.toml | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/.cargo/mutants.toml b/.cargo/mutants.toml index 924747689..6477f498e 100644 --- a/.cargo/mutants.toml +++ b/.cargo/mutants.toml @@ -1,5 +1,5 @@ additional_cargo_args = ["--all-features"] -examine_globs = ["units/src/**/*.rs"] +examine_globs = ["units/src/**/*.rs", "primitives/src/**/*.rs"] exclude_globs = [ "units/src/amount/verification.rs" # kani tests ] @@ -9,6 +9,7 @@ exclude_re = [ "impl Display", ".*Error", "deserialize", # Skip serde mutation tests + "Iterator", # Mutating operations in an iterator can result in an infinite loop # ----------------------------------Crate-specific exclusions---------------------------------- # 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 # 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 + + # 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::cached_witness_root", # Skip getters + "Block::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 ]