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
 

Reply via email to