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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
