Hello. I'm trying to make KLEE support FreeBSD libc instead of uclibc. When I run KLEE with my libc.bca, I get the following error:
error: Linking globals named 'open': symbol multiply defined! It turned out that POSIX runtime contains definition of "open" function, as well as FreeBSD libc do. How to handle this properly?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
