search

dwrensha / seer

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

Allow consumers to continue on error #9

Closed ghost closed 6 years ago

ghost commented 6 years ago

If Seer is configured with a consumer that wants to continue execution when encountering errors (a consumer that always returns true), it repeatedly reports the same error. This is because the unmodified EvalContext is pushed back on the stack in the main loop in the error case. This fixes the problem.

dwrensha commented 6 years ago

Thanks!