From a992a39fb0180785e80eb5acbce768d48e4fc8cb Mon Sep 17 00:00:00 2001
From: Blinningjr <nicke.l@telia.com>
Date: Tue, 15 Dec 2020 01:07:54 +0100
Subject: [PATCH] C
---
cargo_klee_examples/examples/array.rs | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 978fdef..83777a8 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/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);
--
GitLab