Hi Alastair, your output says "expect: not found". It looks like the "expect" tool is either not in your PATH or not installed on your system.
Good luck, Raimondas On 30.11.2010, at 17:19, Alastair Donaldson wrote: > 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/sc > ratch/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 > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4409 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101201/7a1d7427/attachment.bin
