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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and