From 0d5f7f2417ec7c1ac5ec9e66060016424e220d5b Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Wed, 16 Dec 2020 15:37:56 +0100
Subject: [PATCH] C
---
cargo_klee_examples/examples/array.rs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 32cdb8e..afb6170 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/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);
}
--
GitLab