[klee-dev] 回复： 3 quick questions about KLEE

[小、 ￣洁]

Thanks very much!



------------------ 原始邮件 ------------------
发件人: "Daniel Liew"<daniel.liew at imperial.ac.uk>; 
发送时间: 2014年6月3日(星期二) 凌晨0:06
收件人: "小、　　￣洁"<zyj183247166 at qq.com>; 
抄送: "Cristian Cadar(2008 KLEE Author)"<c.cadar at imperial.ac.uk>; "klee-dev"<klee-dev at imperial.ac.uk>; 
主题: Re: [klee-dev] 3 quick questions about KLEE



On 2 June 2014 16:53, 小、　　￣洁 <zyj183247166 at qq.com> wrote:
> Dear Cristian,
>    Sorry to disturb you for a question.
>    About the file assembly.ll, i donot know how to read it ,because i did
> not know some rules. Where can i learn those rules which it needs to read
> the assembly.ll in Klee-last.?

Please DO NOT hijack other people's thread. I have already answered
your question in the other thread you hijacked[1]

[1] http://mailman.ic.ac.uk/pipermail/klee-dev/2014-June/000729.html
.
-------------- next part --------------
HTML attachment scrubbed and removed