[klee-dev] 回复： (no subject)

[小、 ￣洁]

Hi
How to read the file Assembly.ll ?
Is there some explanations?
Thanks
ZengJie




------------------ 原始邮件 ------------------
发件人: "agan Davis"<agandavis at gmail.com>; 
发送时间: 2014年5月22日(星期四) 上午10:19
收件人: "klee-dev"<klee-dev at imperial.ac.uk>; 
主题: [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
-------------- next part --------------
HTML attachment scrubbed and removed