libc++abi.dylib: pure virtual method called Abort trap: 6

Jul 9, 2013 at 4:25 AM
Hey I'm running Z3 version 4.3.1 on OSX 10.8.4 running xcode Version 4.6.3

When running Z3 i get the following error message:

libc++abi.dylib: pure virtual method called
Abort trap: 6

Any ideas?
Coordinator
Jul 9, 2013 at 12:36 PM
Thanks for the report! Could you give us a little bit more information? E.g., did you compile Z3 yourself? It seems to me that this could be an incompatibility with the system library.
Jul 9, 2013 at 2:17 PM
I compiled from the master branch source (downloaded via git).

I have an smt2 formatted file and when I run 'z3 -smt2 filename' I get that error. I am able to get the z3 help menu with the command line arguments.
Coordinator
Jul 10, 2013 at 10:22 PM
Does it throw this error for every input file, or just for one particular one?
Jul 11, 2013 at 8:40 PM
Looks like it throws it for every input file.
Coordinator
Jul 15, 2013 at 2:22 PM
I can't replicate this behavior on our machines here (which run the same software versions). I suppose it's possible that this is a problem that is specific to your system and/or your system libraries. Could you give the unstable branch a try to see whether this problem still exists in the latest code?
Aug 29, 2013 at 11:50 AM
Just a little update. I just downloaded the most recent github version of z3. It is now working fine from the command line. I think XCode has been updated since my last attempt at getting z3 to work.