aave-protocol-v2/runStableTokenCLI.sh

1 line
236 B
Bash
Raw Normal View History

2020-12-03 16:17:31 +00:00
certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc solc6.12 --solc_args '--optimize' --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-b=4 --cache StableToken --cloud