fix: add prover version master

morpho-org · Oct 20, 2023 · bff6fe5 · bff6fe5
1 parent 4057790
commit bff6fe5
Show file tree

Hide file tree

Showing 11 changed files with 22 additions and 11 deletions.
diff --git a/certora/configuration/AccrueInterest.conf b/certora/configuration/AccrueInterest.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/AccrueInterest.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/AccrueInterest.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
         "-smt_hashingScheme plaininjectivity",

diff --git a/certora/configuration/ConsistentState.conf b/certora/configuration/ConsistentState.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/ConsistentState.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/ConsistentState.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed"
     ],

diff --git a/certora/configuration/ExactMath.conf b/certora/configuration/ExactMath.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/ExactMath.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/ExactMath.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
         "-smt_hashingScheme plaininjectivity",

diff --git a/certora/configuration/ExitLiquidity.conf b/certora/configuration/ExitLiquidity.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/ExitLiquidity.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/ExitLiquidity.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed"
     ],

diff --git a/certora/configuration/Health.conf b/certora/configuration/Health.conf
@@ -3,9 +3,10 @@
         "certora/harness/MorphoHarness.sol",
         "src/mocks/OracleMock.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/Health.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/Health.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
         "-smt_hashingScheme plaininjectivity"

diff --git a/certora/configuration/LibSummary.conf b/certora/configuration/LibSummary.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/LibSummary.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/LibSummary.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed"
     ],

diff --git a/certora/configuration/Liveness.conf b/certora/configuration/Liveness.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoInternalAccess.sol"
     ],
-    "verify": "MorphoInternalAccess:certora/specs/Liveness.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoInternalAccess:certora/specs/Liveness.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed"
     ],

diff --git a/certora/configuration/RatioMath.conf b/certora/configuration/RatioMath.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/RatioMath.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/RatioMath.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
         "-smt_hashingScheme plaininjectivity"

diff --git a/certora/configuration/Reentrancy.conf b/certora/configuration/Reentrancy.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/Reentrancy.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/Reentrancy.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
         "-enableStorageSplitting false"

diff --git a/certora/configuration/Reverts.conf b/certora/configuration/Reverts.conf
@@ -2,9 +2,10 @@
     "files": [
         "certora/harness/MorphoHarness.sol"
     ],
-    "verify": "MorphoHarness:certora/specs/Reverts.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "MorphoHarness:certora/specs/Reverts.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed",
     ],

diff --git a/certora/configuration/Transfer.conf b/certora/configuration/Transfer.conf
@@ -5,9 +5,10 @@
         "certora/dispatch/ERC20USDT.sol",
         "certora/dispatch/ERC20NoRevert.sol"
     ],
-    "verify": "TransferHarness:certora/specs/Transfer.spec",
     "solc_via_ir": true,
     "solc_optimize": "4294967295",
+    "verify": "TransferHarness:certora/specs/Transfer.spec",
+    "prover_version": "master",
     "prover_args": [
         "-functionFinderMode relaxed"
     ],