From 46402d7bfb73c28bf3c3ac27a357aef35a2fa8a3 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 14 Dec 2020 15:01:15 +0100
Subject: [PATCH] important typo, in `array.rs`, it does not optimize out the
call in --release, why?
---
cargo_klee_examples/examples/array.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs
index 1849132..6c055e6 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -35,7 +35,7 @@ fn main() {
// test generated in debug/dev mode (un-optimized).
//
// Try to explain in your own words the difference and why?
-// (Hint, even if we don't use the result `b`, Rust do optimize out the call, why?)
+// (Hint, even if we don't use the result `b`, Rust do not optimize out the call, why?)
//
// [your answer here]
//
--
GitLab