Le 25/01/2021 à 23:07, Frank Pfenning a écrit :
> Why3.Controller_itp.Make(S).TransAlreadyExists("split_vc", "")' was
> raised in a LablGtk callback.
Thanks for the report.
Presumably a duplicate of https://gitlab.inria.fr/why3/why3/-/issues/471
Unfortunately, we have yet to find a way to reliab
Hi All,
With Why3.1.3.3 on MacOS Catalina, installing everything
via brew, I sometimes get the following message from the Why3 IDE.
This has forced me to restart it, which is a reasonable workaround,
but since I was asked to report I hereby do :-)
- Frank
exception 'anomaly:
Why3.Controller_
