Hi everyone, I have a couple of questions. I've only been working with Klee for a few weeks so I am very new. I was successfully able to build on a 64 bit Ubuntu 12.10, however, I now want to build on a 32 bit machine. Does STP have to be built with llvm-gcc or can it be built wit gnu gcc? I am unable to build with llvm-gcc because of a linker error and while it builds successfully with gnu gcc, after building Klee, make check shows 24 unexpected failures, while make unittests reflects that all tests have passed. The 24 unexpected failures make me feel rather uneasy.
Also, the software I want to test using Klee uses libxml2 as an external library. Could you give me some hints on how to go about that? I imagine I need to build the xml library with llvm-gcc to emit llvm bit code. But are there any other subtleties I should be aware of? Thank you for your help, -- Bogdan
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
