https://github.com/trailofbits/manticore
Raw File
Tip revision: f082e7f28ea90b885a2e3a5061cccd861a9c72a6 authored by Gustavo Grieco on 23 June 2021, 12:45:34 UTC
Increase the default size of the symbolic value when using manticore EVM from command line
Tip revision: f082e7f
tox.ini
[tox]
envlist = py3{6,7,8,9}

[testenv]
deps = .[dev]
commands = pytest -n auto tests

[testenv:pep8]
deps = flake8
commands =
    flake8 .

[pep8]
ignore = E265,E501
max-line-length = 100
exclude = docs/,examples/,scripts/,tests/

[flake8]
ignore = E265,E501,F403,F405,E266,E712,F841,E741,E722,E731
max-line-length = 100
exclude = .tox,.*.egg,.git,docs/,examples/,scripts/,tests/,iterpickle.py
back to top