Hello! Currently I've made KLEE to be run on OpenBSD. It works fine, all tests are passed. But I can't get POSIX runtime support 'cause uClibc is linux-dependent. Can you give me please any clues what the C library to use in this case? I suppose I need to compile something like Newlib or libc with LLVM and change KLEE sources to get it work.
Thanks.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
