现在我想在MIPS上使用KLEE。 但是当我通过makefile编译它时，有一个error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
我不知道KLEE是否支持MIPS，KLEE的文件也有这些信息，有人在MIPS上使用KLEE吗？
我用过LLVM-2.9，它不支持mispel-64，
编译 KLEE 时发现 LLVM 无法识别架构，所以会报错