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
ec454f0862
aave-protocol-v2/runStableTokenCLI.sh

1 line
218 B
Bash
Raw Normal View History

Updates in the specification of StableDebtToken
2020-10-29 21:19:11 +00:00
certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc solc6.8 --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond --cache StableDebtToken --staging master
Reference in New Issue Copy Permalink