milksad
/
rust-bitcoin-unsafe-fast
14
0
Fork 0
Code Issues Pull Requests Activity

Merge rust-bitcoin/rust-bitcoin#4556: fix error grater to greater array_vec.rs 

9fb48bc0ef fix error grater to greater array_vec.rs (Alex Pikme)

Pull request description:

  Error fixed:
  **One `grater` than 15 - One `greater` than 15**

ACKs for top commit:
  yancyribbens:
    cr ACK 9fb48bc0ef
  apoelstra:
    ACK 9fb48bc0efec96e332beb8e0d4c6239eb23b6da5; successfully ran local tests

Tree-SHA512: 5f2d88ed33ea30971a20b58a383f9c407feeab3e8d65b44356477b9aff0743e36f7a901099df2cd64c6168b2cf4ce92ed9c3a93c4ea596eff315522e8bf2a1dd
This commit is contained in:
merge-script 2025-05-25 17:14:16 +00:00
parent 0432102472 9fb48bc0ef
commit 3c64cef5b5
No known key found for this signature in database
GPG Key ID: C588D63CE41B97C1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
internals/src/array_vec.rs
View File

@ -212,7 +212,7 @@ mod verification {
}
}
#[kani::unwind(16)] // One grater than 15.
#[kani::unwind(16)] // One greater than 15.
#[kani::proof]
fn no_out_of_bounds_upto_cap() {
const CAP: usize = 15;