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

Update .gitlab-ci.yml

Browse Source
This commit is contained in:
pistiner 2020-11-01 19:43:24 +00:00
parent e71c23afa4
commit dce89a81a2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitlab-ci.yml
View File

@ -17,7 +17,6 @@ certora-test:
stage: test stage: test
image: python:latest image: python:latest
before_script: before_script:
- export PATH=$PATH:~/.local/bin
- apt-get update || apt-get update - apt-get update || apt-get update
- apt-get install -y software-properties-common - apt-get install -y software-properties-common
- pip3 install certora-cli-beta==0.4.1 - pip3 install certora-cli-beta==0.4.1
@ -27,4 +26,6 @@ certora-test:
- export PATH=$PATH:/usr/bin/solc/solc-static-linux - export PATH=$PATH:/usr/bin/solc/solc-static-linux
script: script:
- certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond --cache StableDebtToken --staging - certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond --cache StableDebtToken --staging
- certoraRun specs/harness/UserConfigurationHarness.sol --verify UserConfigurationHarness:specs/UserConfiguration.spec --settings -useBitVectorTheory --staging
- certoraRun contracts/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic --cache VariableDebtToken --staging