From 679798178b9b88d86fc121ce077ae2f2e98a1cf6 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Wed, 16 Dec 2020 15:26:48 +0100
Subject: [PATCH] B
---
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 4222e14..32cdb8e 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -10,6 +10,7 @@ use panic_klee as _;
fn sum_first_elements(arr: &[u8], index: usize) -> u8 {
let mut acc = 0;
+ let index = core::cmp::min(arr.len(), index);
for i in 0..index {
acc += arr[i as usize];
}
--
GitLab