Lab 5 - Review.
examples/get_sign.rs - Here I believe the order should be third, first and second path.
cargo_klee_examples/examples/get_sign.rs - Here I believe the answer should be the third path, which returns 1.
array.rs - Missing answers D), E) and F).
cyccnt.rs - Seems like we got different answers here, I'm pretty convinced my answer (let _time : u8 = 0 - 0;) is incorrect. However I can't seem to get anything else.
Other than that I can't find anything except the one Mark noted.