From 343510d3a017f770cdbfbaa7057c8d109773a575 Mon Sep 17 00:00:00 2001 From: Andrew Poelstra Date: Mon, 5 Feb 2024 18:52:13 +0000 Subject: [PATCH] kani: fix Amount overflow test --- units/src/amount.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/units/src/amount.rs b/units/src/amount.rs index 559c9562..92f6ef76 100644 --- a/units/src/amount.rs +++ b/units/src/amount.rs @@ -1704,7 +1704,7 @@ mod verification { if n1 <= i64::MAX as u64 { Ok(SignedAmount::from_sat(n1.try_into().unwrap())) } else { - Err(ParseAmountError::OutOfRange(OutOfRangeError::too_big(false))) + Err(ParseAmountError::OutOfRange(OutOfRangeError::too_big(true))) }, ); }