GUI blocked (100% cpu used) when requested to display an assertion (#2524) · Issues · pub / frama-c