shinghim / rust-bitcoin / 12425028918 / 1
84%
master: 84%

DEFAULT BRANCH: master
Ran
Files 115
Run time 3s
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: 83.037% (+0.1%) from 82.925%
12425028918.1

push

github

apoelstra 
Merge rust-bitcoin/rust-bitcoin#3782: A couple of kani fixes

<a class=hub.com/shinghim/rust-bitcoin/commit/f4617e71f5fd074000d1e3a9376644c744210562">f4617e71f<a href="https://github.com/shinghim/rust-bitcoin/commit/9cb302e47723e5199677d274c56fb7c9e2401191"> kani: Verify no out of bounds for ArrayVec (Tobin C. Harding)
<a class="double-link" href="https://github.com/shinghim/rust-bitcoin/commit/e378cdd8fa340469b8c9b046ea6d6f0dd4e04414">e378cdd8f</a><a href="https://github.com/shinghim/rust-bitcoin/commit/9cb302e47723e5199677d274c56fb7c9e2401191"> kani: Don&#39;t bother checking signed to unsigned conversion (Tobin C. Harding)
</a><a class="double-link" href="https://github.com/shinghim/rust-bitcoin/commit/50224eecc242ddc4d67f76b0c5e28f7120b6e961">50224eecc</a> kani: Don't overflow the tests (Tobin C. Harding)

Pull request description:

  PR does two things because a recent upgrade of `kani` broke our setup. I'm not sure why it just showed up.

  We fix the verification for `amount` types which recently broke because of `MAX_MONEY` changes and then we add a verification function to `internals` because build fails and one fix is to just add something.

  - Patch 1: units: Assumes correct values
  - Patch 2: units: Removes a stale check now that MAX_MONEY is being used for MAX
  - Patch 3: Add verification to `internals::ArrayVec`.

ACKs for top commit:
  apoelstra:
    ACK f4617e71f5fd074000d1e3a9376644c744210562; successfully ran local tests

Tree-SHA512: dfef05a7bc298c007b359fb279702a96899

20422 of 24594 relevant lines covered (83.04%)

17812.26 hits per line

Source Files on job 12425028918.1