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

Added spec for ERC1155Burnable with rule sanity

Browse Source
This commit is contained in:
Thomas Adams
2022-05-23 09:52:25 -07:00
parent 7a2b502b9c
commit 39f29ec3fd
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
certora/specs/ERC1155Burnable.spec Normal file
View File

@ -0,0 +1,7 @@
rule sanity {
method f; env e; calldataarg args;
f(e, args);
assert false;
}