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

Added harness for ERC1155Burnable

Browse Source
This commit is contained in:
Thomas Adams
2022-05-23 09:32:50 -07:00
parent 46cb74f3cf
commit 7a2b502b9c
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
certora/harnesses/ERC1155/ERC1155BurnableHarness.sol Normal file
View File

@ -0,0 +1,8 @@
import "../../munged/token/ERC1155/extensions/ERC1155Burnable.sol";
contract ERC1155BurnableHarness is ERC1155Burnable {
constructor(string memory uri_)
ERC1155(uri_)
{}
}