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
178-add-uniswap-adapters
aave-protocol-v2/runVariableTokenCLI.sh

1 line
359 B
Bash
Raw Permalink Normal View History

Updated spec harness and run.sh for VariableDebtToken contract
2020-10-28 23:20:38 +00:00
certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.8 --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic --cache VariableDebtToken --staging
Reference in New Issue Copy Permalink