> pip freeze

ana==0.3
angr==5.6.12.3
angr-only-z3-custom==9002
appdirs==1.4.3
archinfo==6.7.4.12
bintrees==2.0.6
bitstring==3.1.5
boto==2.28.0
cachetools==2.0.0
capstone==3.0.5rc2
cffi==1.10.0
claripy==5.6.12.3
cle==5.6.12.3
cooldict==1.2
decorator==4.0.11
dpkt-fix==1.7
enum34==1.1.6
future==0.16.0
futures==3.1.1
idalink==0.11
mulpyplexer==0.7
namedlist==1.7
networkx==1.11
packaging==16.8
pefile==2016.3.28
plumbum==1.6.3
progressbar==2.3
pycparser==2.17
pyelftools==0.24
Pympler==0.5
pyparsing==2.2.0
pyvex==5.6.10.5
rpyc==3.3.0
simuvex==5.6.12.3
six==1.10.0
sortedcontainers==1.5.7
unicorn==1.0.0
z3==0.1.8
z3-solver==4.5.1.0

# simuvex==5.6.12.3 can't be installed due to a bug in setup.py. Use the fixed version where simuvex_c stuff is not considered. Installed with:

> pip install simuvex==5.6.12.3 angr==5.6.12.3 cle==5.6.12.3 pyvex==5.6.10.5 claripy==5.6.12.3
> pip install  --no-index --find-links=file://./simuvex-5.6.12.3.tgz simuvex

# Veritesting (exploration techniques) does not mark as errored paths that are errored. Replace the original with ./veritesting.py

> diff veritesting.py ~/.virtualenvs/angr/lib/python2.7/site-packages/angr/exploration_techniques/veritesting.py
----- diff output
20,22c20
<             #return pg.active, pg.stashes.get('unconstrained', []), pg.stashes.get('unsat', []), [], []
<             return pg.active, pg.stashes.get('unconstrained', []), pg.stashes.get('unsat', []), \
<                    pg.stashes.get('pruned', []), pg.stashes.get('errored', [])
---
>             return pg.active, pg.stashes.get('unconstrained', []), pg.stashes.get('unsat', []), [], []
---- end diff output

> cp veritesting.py ~/.virtualenvs/angr/lib/python2.7/site-packages/angr/exploration_techniques/veritesting.py