Hi
How to read the file Assembly.ll ?
Is there some explanations?
Thanks
ZengJie
------------------ ???????? ------------------
??????: "agan Davis"<[email protected]>;
????????: 2014??5??22??(??????) ????10:19
??????: "klee-dev"<[email protected]>;
????: [klee-dev] (no subject)
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
