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
eecb0b4fef
aave-protocol-v2/runUserConfigCLI.sh
pistiner 224712f9d5 Aave integration - first step
2020-10-15 00:59:12 +03:00

2 lines
181 B
Bash
Raw Blame History

certoraRun specs/harness/UserConfigurationHarness.sol --solc solc6.8 --verify UserConfigurationHarness:specs/UserConfiguration.spec --settings -useBitVectorTheory --staging master
Reference in New Issue View Git Blame Copy Permalink