rust-bitcoin / rust-bitcoin / 12404975934
83%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 115
Run time 1min
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%. Remained the same
12404975934

push

github

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

<a class=hub.com/rust-bitcoin/rust-bitcoin/commit/f4617e71f5fd074000d1e3a9376644c744210562">f4617e71f<a href="https://github.com/rust-bitcoin/rust-bitcoin/commit/9cb302e47723e5199677d274c56fb7c9e2401191"> kani: Verify no out of bounds for ArrayVec (Tobin C. Harding)
<a class="double-link" href="https://github.com/rust-bitcoin/rust-bitcoin/commit/e378cdd8fa340469b8c9b046ea6d6f0dd4e04414">e378cdd8f</a><a href="https://github.com/rust-bitcoin/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/rust-bitcoin/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%)

17719.1 hits per line

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