https://github.com/trailofbits/manticore
History
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
File Mode Size
binary
core
ethereum
native
platforms
utils
wasm
__init__.py -rw-r--r-- 493 bytes
__main__.py -rw-r--r-- 8.1 KB
exceptions.py -rw-r--r-- 949 bytes

back to top