aave-protocol-v2/runUserConfigCLI.sh

2 lines
181 B
Bash
Raw Normal View History

2020-10-14 21:59:12 +00:00
certoraRun specs/harness/UserConfigurationHarness.sol --solc solc6.8 --verify UserConfigurationHarness:specs/UserConfiguration.spec --settings -useBitVectorTheory --staging master