[klee-dev] Fwd: failed external call

[Alexandru Ionut Diaconescu]

---------- Forwarded message ----------
From: Alexandru Ionut Diaconescu <alexandruionutdiaconescu at gmail.com>
Date: Wed, May 1, 2013 at 2:40 PM
Subject: Re: [klee-dev] failed external call
To: Paul Thomson <pault543 at gmail.com>


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
-------------- next part --------------
HTML attachment scrubbed and removed