fix: Fix certora config

aave · Feb 16, 2024 · 550fc5b · 550fc5b
1 parent 5fae4cb
commit 550fc5b
Show file tree

Hide file tree

Showing 13 changed files with 13 additions and 13 deletions.
diff --git a/certora/GSM/conf/non-4626/Alex-gho-gsm.conf b/certora/GSM/conf/non-4626/Alex-gho-gsm.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/Alex-gho-gsm_inverse.conf b/certora/GSM/conf/non-4626/Alex-gho-gsm_inverse.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "certora/GSM/harness/ERC20Helper.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
         "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/Dominik-gho-assetToGhoInvertibility.conf b/certora/GSM/conf/non-4626/Dominik-gho-assetToGhoInvertibility.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol"
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol"
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/Dominik-gho-fixedPriceStrategy.conf b/certora/GSM/conf/non-4626/Dominik-gho-fixedPriceStrategy.conf
@@ -1,7 +1,7 @@
 {
     "files": [
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol"
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol"
     ],
     "assert_autofinder_success": true,
     "optimistic_loop":true,

diff --git a/certora/GSM/conf/non-4626/antti-optimality.conf b/certora/GSM/conf/non-4626/antti-optimality.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
         "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/balances-buy.conf b/certora/GSM/conf/non-4626/balances-buy.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
         "certora/GSM/harness/DiffHelper.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/balances-sell.conf b/certora/GSM/conf/non-4626/balances-sell.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
         "certora/GSM/harness/DiffHelper.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/fees-buy.conf b/certora/GSM/conf/non-4626/fees-buy.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
         "certora/GSM/harness/DiffHelper.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/fees-sell.conf b/certora/GSM/conf/non-4626/fees-sell.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
         "certora/GSM/harness/DiffHelper.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/otakar-FixedFeeStrategy.conf b/certora/GSM/conf/non-4626/otakar-FixedFeeStrategy.conf
@@ -1,7 +1,7 @@
 {
     "files": [
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "assert_autofinder_success": true,
     "optimistic_loop":true,

diff --git a/certora/GSM/conf/non-4626/otakar-OracleSwapFreezer.conf b/certora/GSM/conf/non-4626/otakar-OracleSwapFreezer.conf
@@ -2,7 +2,7 @@
     "files": [
         "certora/GSM/harness/OracleSwapFreezerHarness.sol",
         "src/contracts/facilitators/gsm/swapFreezer/OracleSwapFreezer.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "assert_autofinder_success": true,
     "optimistic_loop":true,

diff --git a/certora/GSM/conf/non-4626/otakar-finishedRules.conf b/certora/GSM/conf/non-4626/otakar-finishedRules.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",

diff --git a/certora/GSM/conf/non-4626/otakar-getAmount_properties.conf b/certora/GSM/conf/non-4626/otakar-getAmount_properties.conf
@@ -7,7 +7,7 @@
         "certora/GSM/harness/FixedPriceStrategyHarness.sol",
         "certora/GSM/harness/FixedFeeStrategyHarness.sol",
         "src/contracts/gho/GhoToken.sol",
-        "node_modules/@openzeppelin/contracts/utils/math/Math.sol",
+        "lib/openzeppelin-contracts/contracts/utils/math/Math.sol",
     ],
     "link": [
     "GsmHarness:GHO_TOKEN=GhoToken",