Hi, when I build KLEE following the instructions in " http://klee.llvm.org/GetStarted.html";, I got the error below at the "make check" step. What should I do?
xx@xx:~/installed/klee$ make check llvm[0]: Running test suite make[1]: leaving directory `/home/qiu/installed/klee/test' *** dejagnu not found. Make sure runtest is in your PATH, then reconfigure llvm. make[1]: leaving directory `/home/qiu/installed/klee/test' -------------------------------------------- Qiuping Yi Institute Of Software Chinese Academy of Sciences
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
