openzeppelin-contracts/certora/helpers/DummyERC20A.sol

// SPDX-License-Identifier: agpl-3.0
pragma solidity ^0.8.0;
import "./DummyERC20Impl.sol";

contract DummyERC20A is DummyERC20Impl {}