Re: [isabelle] Ubuntu - All external provers suddenly segfaulting



On 29.07.2015 09:45, C. Diekmann wrote:
> 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]

Strange. This is /bin/sh segfaulting ...





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