chore(certora/confs): lint files

logos-co · Nov 13, 2024 · d0374a5 · d0374a5
1 parent ca5d9eb
commit d0374a5
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 20 deletions.
diff --git a/certora/confs/StakeManager.conf b/certora/confs/StakeManager.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
+  "files": [
+    "contracts/StakeManager.sol",
     "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],

diff --git a/certora/confs/StakeManagerProcess.conf b/certora/confs/StakeManagerProcess.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
-      "certora/helpers/ERC20A.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],

diff --git a/certora/confs/StakeManagerStartMigration.conf b/certora/confs/StakeManagerStartMigration.conf
@@ -1,13 +1,13 @@
 {
-  "files":
-    [ "contracts/StakeManager.sol",
-      "certora/harness/StakeManagerNew.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/harness/StakeManagerNew.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
-    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",
+    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
   "msg": "Verifying StakeManager.sol",
   "rule_sanity": "basic",

diff --git a/certora/confs/StakeVault.conf b/certora/confs/StakeVault.conf
@@ -5,7 +5,7 @@
     "certora/helpers/ExpiredStakeStorageA.sol",
     "certora/helpers/ERC20A.sol"
   ],
-  "link" : [
+  "link": [
     "StakeVault:STAKING_TOKEN=ERC20A",
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",