Files
openzeppelin-contracts/certora/specs/helpers/helpers.spec
github-actions 6ae39c4dc1 Update docs
2023-05-09 19:56:30 +00:00

2 lines
62 B
Ruby

definition nonpayable(env e) returns bool = e.msg.value == 0;