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

Daniel Liew daniel.liew at imperial.ac.uk
Mon Jun 2 17:03:41 BST 2014


On 2 June 2014 16:50, 小、   ̄洁 <zyj183247166 at qq.com> wrote:
> Hi
> How to read the file Assembly.ll ?
> Is there some explanations?

1. DO NOT hijack someone else's thread (agan Davis) with an unrelated
problem. Create YOUR OWN thread!
2. assembly.ll is LLVM assembly. Read http://llvm.org/docs/LangRef.html




More information about the klee-dev mailing list