Hi, Section 5.5 of the OSDI paper says, "We built a simple infrastructure to make crosschecking automatic. Given two tools, it renames all their global symbols and then links them together..." Can this infrastructure be found in the KLEE repository?
Thanks, Tim -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110402/80583e99/attachment.html
