C

cargo_klee_examples/examples/array.rs

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