feat: use configuration file instead of script

morpho-org · Oct 17, 2023 · d7f4f95 · d7f4f95
1 parent e4aca4c
commit d7f4f95
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 10 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -43,7 +43,7 @@ jobs:
       matrix:
         script:
           - verifyAccrueInterest.sh
-          - verifyConsistentState.sh
+          - certoraRun certora/configuration/ConsistentState.conf
           - verifyExactMath.sh
           - verifyExitLiquidity.sh
           - verifyHealth.sh

diff --git a/certora/configuration/ConsistentState.conf b/certora/configuration/ConsistentState.conf
@@ -0,0 +1,8 @@
+{
+    "files": [
+        "certora/harness/MorphoHarness.sol"
+    ],
+    "msg": "Morpho Blue Consistent State",
+    "process": "emv",
+    "verify": "MorphoHarness:certora/specs/ConsistentState.spec"
+}
diff --git a/certora/scripts/verifyConsistentState.sh b/certora/scripts/verifyConsistentState.sh