rust-bitcoin / rust-bitcoin / 7873172272

83%

push

github

Merge rust-bitcoin/rust-bitcoin#2464: Remove broken 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/7e1ba7895f855dad0b1e0105dcafef2e58894145">7e1ba7895 Remove broken kani test (Tobin C. Harding)

Pull request description:

  This test is failing. I do not want to dive back into kani right now, just remove it.

  This is what I originally did in #2454 but changed directions and tried to fix it. Running kani test takes ages and I'd need to dig back to refresh my memory to work with kani. I don't have the motivation to do that at the moment. Just remove the test.

  FTR I added the test recently without fulling thinking it through and it has never passed so we are not loosing any coverage. Doing this was the original mistake I should not have made.

ACKs for top commit:
  Kixunil:
    ACK 7e1ba7895f855dad0b1e0105dcafef2e58894145
  apoelstra:
    ACK 7e1ba7895f855dad0b1e0105dcafef2e58894145

Tree-SHA512: cb76807175ce0f0acfc89086dcfcd53c468

19386 of 23060 relevant lines covered (84.07%)

16694.85 hits per line