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

Add a test to kill mutants in MathOp 

Weekly mutation testing found mutants in `is_overflow` and
`is_divide_by_zero`.

Add a test to kill them.
This commit is contained in:
Jamil Lambert, PhD 2025-04-11 09:31:13 +01:00
parent c5b1b31963
commit ec38860b65
No known key found for this signature in database
GPG Key ID: 54DC29234AB5D2C0
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
units/src/amount/tests.rs
View File

@ -1405,3 +1405,22 @@ fn amount_op_result_sum() {
let _ = amount_refs.iter().copied().sum::<NumOpResult<Amount>>(); let _ = amount_refs.iter().copied().sum::<NumOpResult<Amount>>();
let _ = amount_refs.into_iter().sum::<NumOpResult<Amount>>(); let _ = amount_refs.into_iter().sum::<NumOpResult<Amount>>();
} }
#[test]
fn math_op_errors() {
let overflow = Amount::MAX + Amount::from_sat(1).unwrap();
if let NumOpResult::Error(err) = overflow {
assert!(err.operation().is_overflow());
assert!(!err.operation().is_div_by_zero());
} else {
panic!("Expected an overflow error, but got a valid result");
}
let div_by_zero = Amount::from_sat(10).unwrap() / Amount::ZERO;
if let NumOpResult::Error(err) = div_by_zero {
assert!(!err.operation().is_overflow());
assert!(err.operation().is_div_by_zero());
} else {
panic!("Expected a division by zero error, but got a valid result");
}
}