rust-bitcoin / rust-bitcoin / 8745295649 / 1

83%

master: 83%

push

github

Merge rust-bitcoin/rust-bitcoin#2700: Fix kani test

<a class=hub.com/rust-bitcoin/rust-bitcoin/commit/e47e57c265baca76ee04312bd6acc3c907a49089">e47e57c26 Fix kani test (Tobin C. Harding)

Pull request description:

  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.

ACKs for top commit:
  apoelstra:
    ACK e47e57c265baca76ee04312bd6acc3c907a49089

Tree-SHA512: b0b4ace6d3e049e949d41e94751273309a6

19195 of 23090 relevant lines covered (83.13%)

16801.23 hits per line