Symbolic ABI encoder for static array types - Githubissues

ethereum / hevm

symbolic EVM evaluator

https://hevm.dev

GNU Affero General Public License v3.0

225 stars 46 forks source link

Symbolic ABI encoder for static array types #435

Closed d-xo closed 8 months ago

d-xo commented 8 months ago

Description

adds support for static arrays to the symbolic abi encoder
adds a --num-solvers parameter to hevm test

Checklist

[x] tested locally
[ ] added automated tests
[x] updated the docs
[x] updated the changelog