Session code should not capture every exception
Why3 contains some quite broken code, e.g., t_similar
. Unfortunately, the session code indiscriminately and silently capture every exception, e.g., merge_trans
. As a consequence, we are unaware of these bugs, despite the bench actually triggering them.