openzeppelin-contracts/certora/harnesses/ERC1155/ERC1155Harness.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.2;
import "../../munged/token/ERC1155/ERC1155.sol";

contract ERC1155Harness is ERC1155 {

    constructor(string memory uri_)
        ERC1155(uri_)
    {}

    function burn( address from, uint256 id, uint256 amount) public virtual {
        _burn(from, id, amount);
    }
    function burnBatch(
        address from,
        uint256[] memory ids,
        uint256[] memory amounts
    ) public virtual {
        _burnBatch(from, ids, amounts);
    }

    function mint(
        address to,
        uint256 id,
        uint256 amount,
        bytes memory data
    ) public virtual {
        _mint(to, id, amount, data);
    }

    function mintBatch(
        address to,
        uint256[] memory ids,
        uint256[] memory amounts,
        bytes memory data
    ) public virtual { 
        _mintBatch(to, ids, amounts, data);
    }
}