kani: fix Amount overflow test

This commit is contained in:
Andrew Poelstra 2024-02-05 18:52:13 +00:00
parent 92a0969994
commit 343510d3a0
No known key found for this signature in database
GPG Key ID: C588D63CE41B97C1
1 changed files with 1 additions and 1 deletions

View File

@ -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)))
},
);
}