diff --git a/cargo_klee_examples/examples/array.rs b/cargo_klee_examples/examples/array.rs index 322e58975e91392ae35eee1276c2fbd1eebe3b3e..4cfaa554643ab09b974ec2910030fdfc22b1d2ad 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.