C

cargo_klee_examples/examples/array.rs

@@ -26,6 +26,7 @@ fn main() {
     for i in 0..arr.len() {
         let mut element: u8 = 0;
         klee_make_symbolic!(&mut element, "element");
+        arr[i] = element;
     }
     let mut i: usize = 0;
     klee_make_symbolic!(&mut i, "i");