[isabelle] Ubuntu - All external provers suddenly segfaulting



Hi,

I don't suspect that this is an Isabelle problem but does someone else
observe similar behavior since the latest ubuntu 14.04.2 LTS security
patches?

Lemma "False"
sledgehammer
"cvc4": A prover error occurred:
Abnormal termination with exit code 267.
"z3": A prover error occurred:
Abnormal termination with exit code 267.
"e": A prover error occurred. (Pass the "verbose" option for details.)
"spass": A prover error occurred. (Pass the "verbose" option for details.)

dmesg tells:
[   44.850653] sh[2508]: segfault at 225192d0 ip 00000000225192d0 sp
0000000034b638c0 error 14 in ld-2.19.so[7f7d22518000+23000]
[   44.911629] sh[2511]: segfault at 582052d0 ip 00000000582052d0 sp
00000000bb0488a0 error 14 in ld-2.19.so[7f7f58204000+23000]
[   45.138203] sh[2518]: segfault at 946682d0 ip 00000000946682d0 sp
0000000065ab5210 error 14 in ld-2.19.so[7f4294667000+23000]
...

Best,
  Cornelius




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