Re: [isabelle] Isabelle2016-RC0: cvc4 crashing



Where do I put this magic incantation?

Presumably it has to be in force throughout the entire session,
since there is no telling when the crash will occur.

					- Gene Stark


On 01/14/2016 01:46 PM, Jasmin Blanchette wrote:
> Dear Eugene,
> 
>> Just a quick note to mention I am experiencing fairly frequent
>> crashes of cvc4 using stock Isabelle2016-RC0 on Ubuntu 14.04.
>> FWIW, below is the initial text part of the "whoopsie" file.
>> The cvc4 on Isabelle2015 also exhibited crashes, but not on this
>> machine, as far as I know.
> 
> What would help me the most would be a CVC4 problem file. You can get it by writing
> 
> 	sledgehammer [overlord]
> 
> and picking up the file "~/.isabelle/prob_cvc4.smt_in".
> 
> I might need additional information later, but for the moment let's see if I can reproduce the crash on one of my machines.
> 
> Cheers,
> 
> Jasmin
> 
> 





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