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

Test SignedAmount edge case to kill mutant 

There is a mutant found in `SignedAmount::positive_sub`.

Add an edge case to the test to kill the mutant.
This commit is contained in:
Jamil Lambert, PhD 2025-06-19 17:27:20 +01:00
parent f3338655f1
commit 0b4b17307d
No known key found for this signature in database
GPG Key ID: 54DC29234AB5D2C0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -259,6 +259,7 @@ fn checked_arithmetic() {
#[test] #[test]
fn positive_sub() { fn positive_sub() {
assert_eq!(ssat(10).positive_sub(ssat(7)).unwrap(), ssat(3)); assert_eq!(ssat(10).positive_sub(ssat(7)).unwrap(), ssat(3));
assert_eq!(ssat(10).positive_sub(ssat(10)).unwrap(), ssat(0));
assert!(ssat(-10).positive_sub(ssat(7)).is_none()); assert!(ssat(-10).positive_sub(ssat(7)).is_none());
assert!(ssat(10).positive_sub(ssat(-7)).is_none()); assert!(ssat(10).positive_sub(ssat(-7)).is_none());
assert!(ssat(10).positive_sub(ssat(11)).is_none()); assert!(ssat(10).positive_sub(ssat(11)).is_none());