Re: [Why3-club] Gzip.Error

thanks Claude! I’ll compile the new Why3 release and see if that problem keeps existing. -JJ- > Le 1 févr. 2017 à 14:56, Claude Marché a écrit : > > > So it seems the anomaly shows up in IDE but not in replay... I'm very > confused... > > the stack trace coming from

Re: [Why3-club] Gzip.Error

So it seems the anomaly shows up in IDE but not in replay... I'm very confused... the stack trace coming from IDE is not informative unfortunately Le 01/02/2017 à 14:30, Jean-Jacques Levy a écrit : > File "scc/../scc.mlw", line 249, characters 23-33: > warning: this expression may diverge,

Re: [Why3-club] Gzip.Error

Hello JJ, Le 01/02/2017 à 11:08, Jean-Jacques Levy a écrit : > Hello Friends! > > I now always get following message: > >> Why3ide callback raised an exception: >> anomaly: Gzip.Error("error during compression ») > > when saving Why3 session. "Always", you mean, even with a fresh session ?

[Why3-club] Gzip.Error

Hello Friends! I now always get following message: > Why3ide callback raised an exception: > anomaly: Gzip.Error("error during compression ») when saving Why3 session. I reinstalled all (MacPorts) packages and still get that message. I assume it’s when why3ide is producing the