C

cargo_klee_examples/examples/array.rs

@@ -22,7 +22,11 @@ fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
 
 #[no_mangle]
 fn main() {
-    let arr = [0u8; 8];
+    let mut arr = [0u8; 8];
+    for i in 0..arr.len() {
+        let mut element: u8 = 0;
+        klee_make_symbolic!(&mut element, "element");
+    }
     let mut i: usize = 0;
     klee_make_symbolic!(&mut i, "i");
     let b = sum_first_elements(&arr, i);