This is an LLVM API change which klee hasn't been updated for yet. My recommendation is to use klee with LLVM 2.6, I will be updating the web pages to reflect that shortly.
- Daniel On Wed, Oct 21, 2009 at 2:49 PM, Shaul Kedem <shaul.kedem at gmail.com> wrote: > Hi, > ?running make with current llvm compiled according to the instructions > at?http://klee.llvm.org/GetStarted.html (note that I have not checked > the instructions in the link) I get: > llvm[2]: Compiling Executor.cpp for Release build > Executor.cpp: In member function ?void > klee::Executor::executeInstruction(klee::ExecutionState&, > klee::KInstruction*)?: > Executor.cpp:1843: error: ?Malloc? is not a member of ?llvm::Instruction? > make[2]: *** [/Users/shul/Workspace/llvm/klee/lib/Core/Release/Executor.o] > Error 1 > make[1]: *** [Core/.makeall] Error 2 > make: *** [all] Error 1 > > > Anyone else seeing this? > > I am using mac os X 10.6, > > Regards, > Shaul > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
