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
66bb895cec
aave-protocol-v2/runVariableTokenCLI.sh
pistiner 219d765f97 Updated running script of VariableDebtToken
2020-11-22 22:39:06 +02:00

1 line
364 B
Bash
Raw Blame History

certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --staging
Reference in New Issue View Git Blame Copy Permalink