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

apoelstra · apoelstra · commit 3c64cef5b501 · 2025-05-25T17:14:16.000Z
9fb48bc 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 9fb48bc apoelstra: ACK 9fb48bc; successfully ran local tests Tree-SHA512: 5f2d88ed33ea30971a20b58a383f9c407feeab3e8d65b44356477b9aff0743e36f7a901099df2cd64c6168b2cf4ce92ed9c3a93c4ea596eff315522e8bf2a1dd
diff --git a/internals/src/array_vec.rs b/internals/src/array_vec.rs
@@ -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;

Original file line number	Diff line number	Diff line change
`@@ -212,7 +212,7 @@ mod verification {`
`212`	`212`	`}`
`213`	`213`	`}`
`214`	`214`
`215`		`- #[kani::unwind(16)] // One grater than 15.`
	`215`	`+ #[kani::unwind(16)] // One greater than 15.`
`216`	`216`	`#[kani::proof]`
`217`	`217`	`fn no_out_of_bounds_upto_cap() {`
`218`	`218`	`const CAP: usize = 15;`