C

cargo_klee_examples/examples/array.rs

@@ -19,8 +19,9 @@ fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
 
 #[no_mangle]
 fn main() {
-    let arr = [0u8; 8];
+    let mut arr = [0u8; 8];
     let mut i: usize = 0;
+    klee_make_symbolic!(&mut arr, "arr");
     klee_make_symbolic!(&mut i, "i");
     let b = sum_first_elements(&arr, i);
 }