B

cargo_klee_examples/examples/array.rs

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