[isabelle-dev] Segmentation faults

Makarius makarius at sketis.net
Wed May 29 15:18:46 CEST 2013

On Wed, 29 May 2013, Lawrence Paulson wrote:

> I have just taken a look at the crash logs, and it's clear that some 
> dynamic libraries from a previous installation had got loaded along with 
> the latest ones.

Where did you see that in the log?

There is the following near the end, but it looks fine so far:

Binary Images:
     0x1000 -   0x56aff7 +poly (???) <7513623B-C8EF-B2EE-7AB8-86D56D558A10> /Users/USER/*/poly
   0x59b000 -   0x5fbfeb +libpolyml.4.dylib (5) <2E0AD632-82FD-C839-A4EF-7C7D917E4C07> /Users/USER/*/libpolyml.4.dylib
  0x1100000 -  0x1102fff +libsha1.so (0) <F18686EA-3708-0005-8488-0829107C5FFB> /Users/USER/*/libsha1.so

Maybe /Users/USER/* is just some anonymized version of the real locations.


More information about the isabelle-dev mailing list