Hello, I am working with Klee some time ago, and I would like to know which would be the problem to use KLEE in other architectures, as if I use llvm for ARM then It would be possible to execute KLEE.
if not What would be the explanation or the place where KLEE would not support this. (This is what I would like to know) Thanks in advance. I would really appreciate if you could give me even a small explanation.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
