rust-bitcoin / rust-bitcoin / 7742405682 / 1
83%
master: 83%

DEFAULT BRANCH: master
Ran
Files 87
Run time 2s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 84.148%. Remained the same
7742405682.1

push

github

apoelstra 
Merge rust-bitcoin/rust-bitcoin#2430: Fix kani test

<a class=hub.com/rust-bitcoin/rust-bitcoin/commit/<a class="double-link" href="https://git"><a class=hub.com/rust-bitcoin/rust-bitcoin/commit/4383202f23c5406404a7111be1e62744d3583aa4">4383202f2<a href="https://github.com/rust-bitcoin/rust-bitcoin/commit/05e21a2f39c96148f249d12a32171230dcf7ab8c"> CI: Add a job to build kani proofs (Tobin C. Harding)
<a class="double-link" href="https://github.com/rust-bitcoin/rust-bitcoin/commit/96d3bbd065d69cf5a898f47d02559dce7e906737">96d3bbd06</a> Fix kani test (Tobin C. Harding)

Pull request description:

  Recently (in #2379) we patched the `ParseAmountError` but we don't check kani code on every pull request so we broke it.

  Fix kani test to use the new `OutOfRangeError`.

  EDIT: Attempt, as a separate patch, to add a job that runs on each PR to build the kani test code.

  Close: #2424

ACKs for top commit:
  Kixunil:
    ACK 4383202f23c5406404a7111be1e62744d3583aa4
  apoelstra:
    ACK 4383202f23c5406404a7111be1e62744d3583aa4

Tree-SHA512: dcddcb0d556fc4985b8b0a8708dc351aa34

19328 of 22969 relevant lines covered (84.15%)

16846.7 hits per line

Source Files on job 7742405682.1