NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added burn and burnBatch to filtered block of unexpectedBalanceChange

Browse Source
This commit is contained in:
Thomas Adams
2022-06-03 13:56:46 -07:00
parent bdb49654c5
commit b10a2b8cd3
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
certora/specs/ERC1155.spec
View File

@ -90,7 +90,9 @@ rule unexpectedBalanceChange(method f, env e)
&& f.selector != _mint(address, uint256, uint256, bytes).selector
&& f.selector != _mintBatch(address, uint256[], uint256[], bytes).selector
&& f.selector != _burn(address, uint256, uint256).selector
&& f.selector != _burnBatch(address, uint256[], uint256[]).selector } {
&& f.selector != _burnBatch(address, uint256[], uint256[]).selector
&& f.selector != burn(address, uint256, uint256).selector
&& f.selector != burnBatch(address, uint256[], uint256[]).selector } {
address from; uint256 id;
uint256 balanceBefore = balanceOf(from, id);