Files
openzeppelin-contracts/certora/scripts/Round2/verifyERC20FlashMint.sh
2022-09-21 17:41:13 +02:00

9 lines
388 B
Bash

certoraRun \
certora/harnesses/ERC20FlashMintHarness.sol certora/harnesses/IERC3156FlashBorrowerHarness.sol \
certora/munged/token/ERC20/ERC20.sol certora/helpers/DummyERC20A.sol certora/helpers/DummyERC20B.sol \
--verify ERC20FlashMintHarness:certora/specs/ERC20FlashMint.spec \
--solc solc \
--optimistic_loop \
--cloud \
--msg "ERC20FlashMint verification"