diff --git a/fuzz/fuzz_targets/uint128_fuzz.rs b/fuzz/fuzz_targets/uint128_fuzz.rs index 9b8b2afa..6b832ade 100644 --- a/fuzz/fuzz_targets/uint128_fuzz.rs +++ b/fuzz/fuzz_targets/uint128_fuzz.rs @@ -40,6 +40,10 @@ fn do_test(data: &[u8]) { assert_eq!(128 - a_native.leading_zeros() as usize, a.bits()); assert_eq!(a_native as u64, bitcoin::util::uint::Uint128::from_u64(a_native as u64).unwrap().low_u64()); + let mut a_inc = a.clone(); + a_inc.increment(); + check_eq!(a_native.wrapping_add(1), a_inc); + // Checks with two numbers: let (b_native, b) = read_ints!(16);