halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Published 20 hours ago • verified publisher icon a16z

Support properties of the form `must always emit an event when storage is updated `

Open 0xkarmacoma opened this issue 9 months ago • 3 comments

Example here with Certora:

https://github.com/Cyfrin/3-gas-bad-nft-marketplace-audit/blob/main/certora/spec/GasBadNft.spec

0xkarmacoma avatar May 22 '24 17:05 0xkarmacoma