fix: executor fails to kill solver if it hangs

season-lab / fuzzolic

fuzzing + concolic = fuzzolic :)

https://season-lab.github.io/fuzzolic/

GNU General Public License v2.0

113 stars 6 forks source link

Open ndrewh opened 4 months ago

ndrewh commented 4 months ago

SOLVER_TIMEOUT is in milliseconds, but p_solver.wait should be in seconds

This causes 1000 second hangs during hybrid fuzzing when the solver misbehaves.