From de8dbffd7366687e6641fd5b34786a14dba2d941 Mon Sep 17 00:00:00 2001
From: rubenasplund <ruben.asplund@hotmail.com>
Date: Wed, 16 Dec 2020 16:34:18 +0100
Subject: [PATCH] array.rs DONE
---
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 322e589..4cfaa55 100644
--- a/cargo_klee_examples/examples/array.rs
+++ b/cargo_klee_examples/examples/array.rs
@@ -80,7 +80,8 @@ fn main() {
//
// Explain in your own words what Microsoft would gain by using Rust.
//
-// [your answer here]
+// [They will gain a more define behavior of programs, which means less bugs, significant less memory problems
+// , more robust and less testing is needed for their programs.]
//
// Explain in your own words what Microsoft would gain by using `cargo klee`
// on their Rust code.
--
GitLab