search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
817 stars 68 forks source link

chore: improve debugging output #317

Closed daejunpark closed 4 months ago