Dear KLEE community,When I use klee to deal with a project which uses some third-party library, what should I do? If there is source code , I may compile it into xxx.bc and use --link-llvm-lib to add it into klee. But if there is only library, For example: a file main.c, it links library libxxx.a ,then how to use klee?
Yours sincerelytao.zhang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
