Sessions are marked as "not fully verified" when they are
The output of why3 session
marks each theory as "not fully verified" in big bright red even if all goals are proved (instead of "verified in xx.yy seconds").
Maybe this is linked to cumulative proof times no longer being displayed in the new IDE ?