[klee-dev] 3 quick questions about KLEE

[Daniel Liew]

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