Instadapp/aave-protocol-v2
1
0
Fork 0
mirror of https://github.com/Instadapp/aave-protocol-v2.git synced 2024-07-29 21:47:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
69c826ba48
aave-protocol-v2/runStableTokenCLI.sh
pistiner 2fb53195f5 Updated runners
2020-12-03 18:17:31 +02:00

1 line
236 B
Bash
Raw Blame History

certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc solc6.12 --solc_args '--optimize' --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-b=4 --cache StableToken --cloud
Reference in New Issue View Git Blame Copy Permalink