search

crytic / properties

Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
276 stars 42 forks source link

Fix interface in external testing code example #15

Closed 0xmichalis closed 1 year ago