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.