https://github.com/trailofbits/manticore
Raw File
Tip revision: 6a633609a6c612b08cee855b8e1217b316c75c7d authored by yan on 29 March 2018, 15:42:36 UTC
Update LazyZ3Solver.__del__
Tip revision: 6a63360
tox.ini
[tox]
envlist = py27,py35

[testenv]
deps = .[dev]
commands = nosetests
install_command = pip install --no-binary keystone-engine {opts} {packages}

[pep8]
ignore = E265,E501
max-line-length = 160
exclude = docs/,examples/,scripts/,tests/
back to top