feat: Rename LendingPoolHarnessForVariableDebtToken

aave · Jul 30, 2021 · d06d3ac · d06d3ac
1 parent 77a7e12
commit d06d3ac
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -61,7 +61,7 @@ certora-test:
   script:
     - certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc_args "['--optimize']" --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-b=4 --cache StableDebtToken --cloud
     - certoraRun specs/harness/UserConfigurationHarness.sol --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args "['--optimize']" --settings -useBitVectorTheory --cache UserConfiguration --cloud
-    - certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc_args "['--optimize']" --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic,-b=4 --cache VariableDebtToken --cloud
+    - certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/PoolHarnessForVariableDebtToken.sol --solc_args "['--optimize']" --link VariableDebtToken:POOL=PoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic,-b=4 --cache VariableDebtToken --cloud
   only:
     - master
     - merge_requests

diff --git a/runVariableTokenCLI.sh b/runVariableTokenCLI.sh
@@ -1 +1 @@
-certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --cache VariableToken --cloud
+certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/PoolHarnessForVariableDebtToken.sol --solc solc6.12 --solc_args '--optimize' --link VariableDebtToken:POOL=PoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -b=4,-assumeUnwindCond,-useNonLinearArithmetic --cache VariableToken --cloud
diff --git a/specs/VariableDebtToken.spec b/specs/VariableDebtToken.spec
@@ -1,4 +1,4 @@
-using LendingPoolHarnessForVariableDebtToken as POOL
+using PoolHarnessForVariableDebtToken as POOL
 
 /**
 Checks that each possible opertaion changes the balance of at most one user.

diff --git a/...endingPoolHarnessForVariableDebtToken.sol → ...rness/PoolHarnessForVariableDebtToken.sol b/...endingPoolHarnessForVariableDebtToken.sol → ...rness/PoolHarnessForVariableDebtToken.sol
@@ -12,7 +12,7 @@ import {DataTypes} from '../../contracts/protocol/libraries/types/DataTypes.sol'
 Certora: Harness that delegates calls to the original Pool.
 Used for the verification of the VariableDebtToken contract.
 */
-contract LendingPoolHarnessForVariableDebtToken is IPool {
+contract PoolHarnessForVariableDebtToken is IPool {
   Pool private originalPool;
 
   function deposit(