On 3 March 2015 at 06:45, Insu Yun <[email protected]> wrote: > Dear all, > > I want to run KLEE on program with pthread. I know that > cloud9(http://cloud9.epfl.ch/) supports pthread. However, it is built on > old-version KLEE and the project is not active. Therefore I want to add > pthread feature to KLEE. > > I analyzed cloud9 code and I made KLEE with single thread and single > process. (As you know, KLEE has no concept of thread and process). Now I am > trying to add pthread_create function support. For that, I copied a > test(Runtime/Synchronization/Mutex.c) from cloud9. It gives me a following > error. > > KLEE: WARNING: undefined reference to function: __xstat64
That's a warning and not an error. KLEE will emit this warning if your LLVM IR references a function without a body. Your problem is somewhere else. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
