现在我想在MIPS上使用KLEE。但是当我用makefile编译它时，有一个error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
我不知道KLEE是否支持MIPS，以及KLEE的文档是否也有此信息，是否有人在MIPS上使用KLEE？
答案 0 :(得分：0)
我使用的是LLVM-2.9，它不支持mispel-64，
在编译KLEE时，它发现LLVM无法识别架构，因此它将报告此错误