Fix kani test

In a kani test we are checking if the result of `to_unsigned()` is an
error but setting `is_signed` to `true`, this field represents the
signed-ness of the return type of `to_unsigned` (`Amount`) so should be
`false`.

Fix kani daily job.
This commit is contained in:
Tobin C. Harding 2024-04-19 06:15:49 +10:00
parent 7a8dafb748
commit e47e57c265
No known key found for this signature in database
GPG Key ID: 40BF9E4C269D6607
1 changed files with 1 additions and 1 deletions

View File

@ -1973,7 +1973,7 @@ mod verification {
if n1 >= 0 { if n1 >= 0 {
Ok(Amount::from_sat(n1.try_into().unwrap())) Ok(Amount::from_sat(n1.try_into().unwrap()))
} else { } else {
Err(OutOfRangeError { is_signed: true, is_greater_than_max: false }) Err(OutOfRangeError { is_signed: false, is_greater_than_max: false })
}, },
); );
} }