---------- Forwarded message ---------- From: Alexandru Ionut Diaconescu <[email protected]> Date: Wed, May 1, 2013 at 2:40 PM Subject: Re: [klee-dev] failed external call To: Paul Thomson <[email protected]>
It seems that the patch is not applying correctly. In their shell script from http://cs.famaf.unc.edu.ar/~rcorin/kleecrypto/ , where is the part of applying that patch? Sorry for asking this question but how can I apply http://keeda.stanford.edu/pipermail/klee-dev/attachments/20121007/6b3c595b/attachment-0001.obj patch? I am a beginner in LLVM. Thank you kindly ! -- Best regards, Alexandru Ionut Diaconescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
