Email Gateway (Aug 22 2022 at 10:43): Email Gateway (Aug 22 2022 at 10:43):From: "C. Diekmann" <diekmann@in.tum.de>
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
Email Gateway (Aug 22 2022 at 10:43):From: Lars Noschinski <noschinl@in.tum.de>
Strange. This is /bin/sh segfaulting ...
Email Gateway (Aug 22 2022 at 10:43):From: "C. Diekmann" <diekmann@in.tum.de>
Okay, it seems to be an Ubuntu problem:
Yesterday, Kernel 3.13.0-59-generic got installed via a security update.
Fix: If I boot into 3.13.0-58-generic again, it works fine. Maybe this
info helpful for others.
Best,
Cornelius
2015-07-29 9:56 GMT+02:00 Lars Noschinski <noschinl@in.tum.de>:
Email Gateway (Aug 22 2022 at 10:45):From: "C. Diekmann" <diekmann@in.tum.de>
Short follow-up: Ubuntu's recent update 3.13.0-61-generic fixes the issue.
Last updated: Apr 30 2024 at 04:19 UTC