[klee-dev] libc function "open" is defined in POSIX runtime

[Gleb Popov]

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?
-------------- next part --------------
HTML attachment scrubbed and removed