crytic / crytic/properties

Add helper to assert reverting transaction

Open
#40 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Solidity
Stars
371
Forks
59
PR merge metrics
No merged PRs in 30d

Description

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

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.