KLEE currently works only with the current version of LLVM: svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm
--Cristian On Tue, 2009-07-14 at 01:27 -0500, M. Fatih BOYACI wrote: > Hi all; > > > I am trying to run klee with llvm 2.4 and llvm-gcc 2.5 with OS ubuntu > 8.10 (as given in http://klee.llvm.org/GetStarted.html), however i am > getting an error, given below, > when i am trying to build klee with make ENABLE_OPTIMIZED=1 : > > > llvm[2]: Compiling Debug.cpp for Release build > llvm[2]: Compiling main.cpp for Release build > main.cpp: In function ?llvm::Module* linkWithUclibc(llvm::Module*)?: > main.cpp:1043: error: ?getNullValue? is not a member of > ?llvm::Constant? > main.cpp:1044: error: ?getNullValue? is not a member of > ?llvm::Constant? > main.cpp:1045: error: ?getNullValue? is not a member of > ?llvm::Constant? > main.cpp:1046: error: ?getNullValue? is not a member of > ?llvm::Constant? > > > Can anyone help me with this ? And also which llvm and llvm-gcc > version should we use with the latest klee release ? > > > Thanks.. > > > > -- > Mehmet Fatih BOYACI > UIllinois at Urbana-Champaign > PhD Candidate, Computer Science > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
