search

crytic / properties

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

Add helper to assert reverting transaction #40

Open montyly opened 1 year ago

montyly commented 1 year ago

For example, we can use a low level call, or try/catch, and verify that it actually reverts

QKTdaBoss commented 1 year ago

Okay considering this, however I'm not quite sure how to go about doing so