array.rs DONE

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.