Re: [isabelle] Isabelle2016-RC0: cvc4 crashing



I forgot to mention: the crashes are caused by Isabelle-2016 and
Isabelle-2016-1-RC0 alike.

On Tue, Oct 25, 2016 at 9:47 AM Simon Wimmer <wimmersimon at gmail.com> wrote:

> Hi Jasmin,
>
> did you make an attempt to resolve this for the next release?
> I just noticed that I find reports of CVC4 crashing on my Mac (running OSX
> Sierra now) a few times per day.
> I am not sure if I had this before or if this resurfaced with Sierra.
>
> Cheers,
>
> Simon
>
> On Tue, Feb 2, 2016 at 3:52 PM Jasmin Blanchette <
> jasmin.blanchette at inria.fr> wrote:
>
> Dear Eugene,
>
> I'm bringing back this to the mailing list, since it might be of general
> interest.
>
> > On 02.02.2016, at 00:29, Eugene W. Stark <stark at cs.stonybrook.edu>
> wrote:
> >
> > From memory: no error in Isabelle, just a pop-up "explosion" icon on the
> Ubuntu
> > launcher, indicating that a program has crashed.  I will turn on the
> [verbose]
> > option if you tell me exactly how to do it.  I haven't played very much
> with lots
> > of options and I don't know the syntax for them, mostly.
>
> I see! Then I think this is something that is potential affecting
> everybody. CVC4 doesn't like being killed. This I have experienced first
> hand, when invoking it from the command line. I will investigate and report
> this to the CVC4 developers.
>
> I hope you can find a workaround to avoid any distraction from the Ubuntu
> launcher. Otherwise, there's always the option of swapping CVC4 out and Z3
> in...
>
> Cheers,
>
> Jasmin
>
>
>



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.