Hello,
I come with the same problem when I am trying to compile and run/test
Busybox with KLEE。 I get this error in the final linking stage: "llvm-ld:error:
Cannot find linker input 'selinux/lib.a'"。
Could you tell me how to solve it? Thank you very much!
Best wishes!_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
