issues
search
trailofbits
/
manticore
Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.68k
stars
472
forks
source link
ethereum: Improve some error messages when preconditions don't hold
#2576
Closed
ekilmer
closed
2 years ago