search

dwrensha / seer

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

Fix copy-and-paste #6

Closed ranma42 closed 6 years ago

dwrensha commented 6 years ago

Thanks!