Hi everyone:
I have use KLEE on x86 machine, it works well.
Now I want to use it in a MIPS core machine, the operator system is still
Linux.
I have succeeded in compiling llvm on MIPS, But when I compile KLEE on
MIPS,
there is a error, "error:unknown target triple "mips64el-unkown-linux-gnu",
please use -triple or -arch"
Did anyone use KLEE on MIPS, How to solve this problem.
The solution is very important to me.
Hope for your reply. Thank you very much.
Your sincerely,
Wang Xiaofeng
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
