Revision 3c6df93b96761cf9b08f96e4fdf03f085a9831fe authored by Disconnect3d on 17 November 2018, 18:27:42 UTC, committed by GitHub on 17 November 2018, 18:27:42 UTC
* Remove kwargs from ManticoreEVM Removing `kwargs` from `ManticoreEVM` as it is not needed here. It is because it is passed to `Manticore` which uses `kwargs` only in the case when the `path_or_state` is a path. The `ManticoreEVM` passes this argument as already created `State` so the `kwargs` are never used for `ManticoreEVM`. This will also prevent users from using old API that has been removed e.g. `ManticoreEVM(verbosity=5)`. * Fix init
1 parent 48304e7
File | Mode | Size |
---|---|---|
.github | ||
docs | ||
examples | ||
manticore | ||
scripts | ||
tests | ||
.codeclimate.yml | -rw-r--r-- | 1.1 KB |
.coveragerc | -rw-r--r-- | 46 bytes |
.gitignore | -rw-r--r-- | 1.1 KB |
.travis.yml | -rw-r--r-- | 1.3 KB |
CHANGELOG.md | -rw-r--r-- | 14.6 KB |
CONTRIBUTING.md | -rw-r--r-- | 2.2 KB |
Dockerfile | -rw-r--r-- | 583 bytes |
LICENSE | -rw-r--r-- | 33.7 KB |
README.md | -rw-r--r-- | 8.0 KB |
readthedocs.yml | -rw-r--r-- | 51 bytes |
setup.cfg | -rw-r--r-- | 49 bytes |
setup.py | -rw-r--r-- | 1.5 KB |
tox.ini | -rw-r--r-- | 476 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...