cargo_klee_examples/array.rs, B

cargo_klee_examples/examples/array.rs

@@ -10,7 +10,7 @@ use panic_klee as _;
 
 fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
     let mut acc = 0;
-    for i in 0..index {
+    for i in 0..arr.len() {
         acc += arr[i as usize];
     }
     acc