Corral reports "no bugs" when there is no prover found

boogie-org / corral

solver for the reachability modulo theories problem

MIT License

58 stars 29 forks source link

Corral reports "no bugs" when there is no prover found #114

Open zvonimir opened 4 years ago

zvonimir commented 4 years ago

When using the most recent version of Boogie, Corral reports "Program has no bugs" when Boogie throws the "Cannot find any prover executable" exception. This should be fixed, maybe by re-throwing the exception or something like that.