From 8c47bdc03bd464b5c159a56a59179a3ef0980fe7 Mon Sep 17 00:00:00 2001
From: Blinningjr <nicke.l@telia.com>
Date: Tue, 15 Dec 2020 00:59:08 +0100
Subject: [PATCH] C
---
cargo_klee_examples/examples/array.rs | 1 +
1 file changed, 1 insertion(+)
diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 84be7a7..978fdef 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/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");
--
GitLab