search

dwrensha / seer

symbolic execution engine for Rust
Other
345 stars 7 forks source link

Build failed #15

Open ckanner opened 2 years ago

ckanner commented 2 years ago

Is there a ok version that can build successfully?

dwrensha commented 2 years ago

See #14. It might work if you use a nightly rustc from around July 29th 2018.