aave-protocol-v2/runUserConfigCLI.sh

2 lines
223 B
Bash
Raw Permalink Normal View History

2020-12-03 16:13:22 +00:00
certoraRun specs/harness/UserConfigurationHarness.sol --solc solc6.12 --solc_args '--optimize' --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args '--optimize' --settings -useBitVectorTheory --cloud