Handle exceptional flows more precisely
ericbodden opened this issue · comments
Currently, Heros models exceptions such that they generate a return edge, but at the side of the caller, Heros fails to detect that the control flow may then have to continue at the respective exception handler. This should be improved.