mirror of https://github.com/vacp2p/minime.git
10 lines
465 B
Bash
10 lines
465 B
Bash
|
certoraRun certora/harness/MiniMeTokenHarness.sol certora/mocks/DummyERC20Impl.sol certora/mocks/DummyERC20ImplA.sol certora/mocks/DummyController.sol \
|
||
|
--verify MiniMeTokenHarness:certora/specs/MiniMeToken.spec \
|
||
|
--link MiniMeTokenHarness:parentToken=DummyERC20Impl \
|
||
|
--link MiniMeTokenHarness:controller=DummyController \
|
||
|
--address DummyERC20Impl:0 \
|
||
|
--loop_iter 3 \
|
||
|
--optimistic_loop \
|
||
|
--packages @openzeppelin=lib/openzeppelin-contracts \
|
||
|
--msg "MiniMe Token"
|