On 2 June 2014 16:53, 小、 ￣洁 <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
