rust-bitcoin / rust-bitcoin / 7627328944
83%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 87
Run time 7s
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.258%. Remained the same
7627328944

push

github

apoelstra 
Merge rust-bitcoin/rust-bitcoin#2393: Add kani test and remove TODO

<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/66352cba98c81024c7fde264f672b1cab01c47e1">66352cba9 Add kani test and remove TODO (Tobin C. Harding)

Pull request description:

  Add a kani test to check `div_rem`.

ACKs for top commit:
  Kixunil:
    ACK 66352cba98c81024c7fde264f672b1cab01c47e1
  apoelstra:
    ACK 66352cba98c81024c7fde264f672b1cab01c47e1

Tree-SHA512: 2cb277e11aab9a9a8ddee1191191dbc5307

19221 of 22812 relevant lines covered (84.26%)

16961.44 hits per line

Jobs
ID Job ID Ran Files Coverage
1 7627328944.1 0
84.26
 GitHub Action Run
Source Files on build 7627328944
Detailed source file information is not available for this build.