> 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. Hi Bogdan, the installation instructions on the web should work on both 32 and 64 bits. So no, you don't need to compile STP with llvm-gcc.
Best wishes, Cristian _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
