[angr] angr-z3 build problem

Christoph Wintersteiger cwinter at microsoft.com
Fri Jan 15 04:39:19 PST 2016

64-bit angr seems to suffer from a configuration problem:


Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | research.microsoft.com/people/cwinter<http://research.microsoft.com/people/cwinter>

[MSFT_logo_Gray DE sized SIG1.png]
Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/b403b1b6/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 1168 bytes
Desc: image001.jpg
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/b403b1b6/attachment.jpg>

More information about the angr mailing list