现在我想在MIPS上使用KLEE。但是当我用makefile编译它的时候,有一个error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
我不知道KLEE是否支持MIPS,KLEE的文档也有这些信息,有人在MIPS上使用KLEE吗?
发布于 2015-02-08 20:39:14
我用过LLVM-2.9,它不能很好地支持mispel-64,
编译KLEE时,发现LLVM无法识别架构,因此将报告此错误
https://stackoverflow.com/questions/28133865
复制相似问题