search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
62 stars 10 forks source link

Fix bug: continue on instruction-specific error #9

Closed dc-mak closed 4 years ago

dc-mak commented 4 years ago

First time writing Rust, open to feedback!

Alasdair commented 4 years ago

Thanks, the only thing is I think write_answer(stream, Answer::Error).unwrap(); could be write_answer(stream, Answer::Error)?; to propagate the IO error.