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

[Oscar Soria Dustmann]

Hi Zeng Jie,

the llvm language was introduced in Lattner et Adve: LLVM: a compilation
framework for lifelong program analysis & transformation.
It is documented in great detail at: http://llvm.org/docs/LangRef.html

Cheers,
Oscar

On 02/06/14 16:50, 小、　　￣洁 wrote:
> 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
> 
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>