on 03/23/2010 03:31 AM Cristian Cadar said the following: > Just ignore for now the patch for LLVM 2.7: > svn co -r 98465 http://llvm.org/svn/llvm-project/klee/trunk klee
This works, at least with llvm-2.6. (I haven't tried with the latest svn.) Thanks. --- Vladimir Vladimir G. Ivanovic http://www.leonora.org +1 650 450 4101 vladimir at acm.org -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 261 bytes Desc: OpenPGP digital signature Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100323/5fb95561/attachment.bin
