2014-05-22 02:19:54 UTC
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?