Hello Johannes, On Mon, Dec 11, 2017 at 10:13:54AM +0900, Johannes Kanig wrote: > Hello Ralf, > > On Sun, Dec 10, 2017 at 06:46:48PM +0100, Ralf Treinen wrote: > > I have a strange problem with why 0.88.2: I launch the ide on a small > > why3 program file: > > > > why3 ide minimum.mlw > > > > Then I select the VC for that program, and click on one of the solver > > buttons (alt-ergo, for instance, but it is the same with the other > > external SMT solvers). Nothing happens for about 30 seconds, then > > the ide crashes, and I get in the terminal the message > > > > client_connect: connection failed: Connection refused (connect,) > > (socket_name=/tmp/why3server343eb1sock)
> - why3 (ide or not) spawns a process "why3server". Can you find out the > commandline arguments for that process, e.g. using "ps" if still Thanks for your suggestions, the problem was indeed that why3server was not installed on my machine. -Ralf. _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club