[klee-dev] Writing tests for KLEE

[Marko Dimjašević]

Hi Martin,

On Wed, 2016-06-15 at 09:15 +0200, Martin Nowack wrote:
> Well yes, i stumbled over it as well.
> Please have a look here, this explains it and a patch is attached:
> https://llvm.org/bugs/show_bug.cgi?id=19816

Thank you for this! It works with your patch.

However, if this was in LLVM 3.4 and on Debian I have LLVM 3.4.2
installed, it is strange they haven't incorporated your fix.


-- 
Regards,
Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160619/d6cb29c9/attachment.sig>