Andrew Poelstra 9bdac92e1a Merge rust-bitcoin/rust-bitcoin#2464: Remove broken kani test ... 7e1ba7895f 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 7e1ba7895f apoelstra: ACK 7e1ba7895f Tree-SHA512: cb76807173b637be9d5ce790b015e711ca76add95ce0f0acfdc56947c075f57ea89774c09c4314dbc89086dcf7a8e21053552bfae805fd5dc9c91051cd53c468		2024-02-12 14:23:33 +00:00
..
contrib	Run sighash example in CI	2024-02-05 17:50:52 +11:00
embedded	Use bash to run shell scripts	2024-02-02 05:55:51 +11:00
examples	Remove unnecessary m/ prefix requirement	2024-02-07 12:17:45 +01:00
src	Merge rust-bitcoin/rust-bitcoin#2464: Remove broken kani test	2024-02-12 14:23:33 +00:00
tests	Remove unnecessary m/ prefix requirement	2024-02-07 12:17:45 +01:00
CHANGELOG.md	Remove no-std feature	2023-12-06 09:54:33 +11:00
Cargo.toml	Run sighash example in CI	2024-02-05 17:50:52 +11:00
build.rs	Bump MSRV to Rust version 1.56.1	2023-11-23 06:20:02 +11:00