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