[klee-dev] (no subject)

[agan Davis]

Hi everyone

How to solve the problem "  KLEE: ERROR: Link with library
../klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca failed: Linking globals
named 'strverscmp': symbol multiply defined!"?
what's the reason of the situation of multiply defined? Does someone come
across this problem? and how to avoid it?

Thanks
Davis
-------------- next part --------------
HTML attachment scrubbed and removed