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
