Hi I'm trying to get started with KLEE, and am following the instructions here:
http://klee.llvm.org/GetStarted.html Everything works fine until "make check", which gives erroneous output as follows: clpc193[klee]$ make check llvm[0]: Running test suite make[1]: Entering directory `/home/scratch/prog/klee/test' ( ulimit -t 600 ; ulimit -d 512000 ; \ PATH="/home/scratch/prog/klee/Release/bin:/home/scratch/prog/llvm/llvm-2.7/Release/bin:/home/scratch/prog/llvm/llvm-2.7/test/Scripts:/home/scratch/prog/dejagnu/dejagnu-1.4.4:/home/scratch/prog/klee/Release/bin:/home/scratch/prog/llvm/llvm-front-end/llvm-gcc4.2-2.7-x86_64-linux/bin:/home/scratch/prog/ocaml/install/bin:/home/scratch/prog/gdb-7.2/gdb:/home/scratch/prog/jstar/bin:/home/scratch/prog/git/git-1.7.3:/home/scratch/isp-install/bin:/home/scratch/mpi-install/bin:/home/scratch/donaldsonrepos/tools/program-normalizer:/home/scratch/yices/yices-1.0.27/bin:/home/scratch/boom:/home/scratch/sKizzo/sKizzo-v0.8.2-beta:/home/scratch/boppo:/home/scratch/scripts:/home/scratch/Murphi/Murphi3.1/bin:/home/scratch/blast-2.5/blast/bin:/home/scratch/meld/meld-1.3.1:/home/scratch/prog/bin:/home/scratch/spin/Src5.2.5:/opt/ibm/systemsim-cell/bin:/home/scratch/prog/cprover/src/scratch:/home/scratch/prog/cprover/src/k-induction:/home/scratch/prog/cprover/src/ai:/home/scratch/scons/bin:/home/scratch/prog/eclipse:/home/scratch/prog/cprover/src/goto-cc:/home/scratch/prog/cprover/src/satabs:/home/scratch/prog/cprover/src/cbmc:/home/scratch/cbmc:/home/scratch/smv/bin:/home/scratch/satabs:/opt/cell/toolchain/bin:/usr/lib64/qt-3.3/bin:/usr/kerberos/sbin:/usr/kerberos/bin:/usr/lib64/ccache:/usr/local/bin:/usr/bin:/bin:/usr/local/sbin:/usr/sbin:/sbin:/opt/real/RealPlayer" \ /home/scratch/prog/dejagnu/dejagnu-1.4.4/runtest ; \ ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; ) /home/scratch/prog/dejagnu/dejagnu-1.4.4/runtest: line 123: exec: expect: not found grep: testrun.log: No such file or directory grep: testrun.log: No such file or directory make[1]: Leaving directory `/home/scratch/prog/klee/test' I looked at this thread: http://keeda.stanford.edu/pipermail/klee-dev/2010-May/000364.html which seems similar, and have made sure that: - llvm-gcc is on my path - when configuring llvm-2.7, it successfully found llvm-gcc Any pointers on what I'm doing wrong would be greatly appreciated! (Despite this problem with "make check", KLEE seems to be working OK when I run it on a simple example.) Thanks Alastair
