search

a16z / halmos

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

refactor: data structure of path conditions #310

Closed daejunpark closed 3 months ago