Certora: ordering config files

Author: sunbreak1211

certora/LockstakeClipper.conf

@@ -62,15 +62,15 @@
         "LockstakeEngine:sky=SkyMock",
         "LockstakeEngine:lssky=LockstakeSky",
         "LockstakeUrn:engine=LockstakeEngine",
-        "VoteDelegateMock:gov=SkyMock",
-        "StakingRewardsMock:stakingToken=LockstakeSky",
         "Dog:vat=Vat",
         "BadGuy:clip=LockstakeClipper",
         "RedoGuy:clip=LockstakeClipper",
         "KickGuy:clip=LockstakeClipper",
         "FileUintGuy:clip=LockstakeClipper",
         "FileAddrGuy:clip=LockstakeClipper",
-        "YankGuy:clip=LockstakeClipper"
+        "YankGuy:clip=LockstakeClipper",
+        "VoteDelegateMock:gov=SkyMock",
+        "StakingRewardsMock:stakingToken=LockstakeSky"
     ],
     "verify": "LockstakeClipper:certora/LockstakeClipper.spec",
     "prover_args": [

certora/LockstakeEngine.conf

@@ -27,25 +27,25 @@
         "UsdsJoinMock": "solc-0.8.21",
         "UsdsMock": "solc-0.8.21",
         "SkyMock": "solc-0.8.21",
+        "RewardsMock": "solc-0.8.21",
         "StakingRewardsMock": "solc-0.8.21",
-        "StakingRewards2Mock": "solc-0.8.21",
-        "RewardsMock": "solc-0.8.21"
+        "StakingRewards2Mock": "solc-0.8.21"
     },
     "solc_optimize_map": {
         "LockstakeEngine": "200",
         "LockstakeUrn": "200",
         "LockstakeSky": "200",
         "Jug": "0",
         "Vat": "0",
-        "UsdsJoinMock": "0",
-        "UsdsMock": "0",
-        "SkyMock": "0",
         "VoteDelegateMock": "0",
         "VoteDelegate2Mock": "0",
         "VoteDelegateFactoryMock": "0",
+        "UsdsJoinMock": "0",
+        "UsdsMock": "0",
+        "SkyMock": "0",
+        "RewardsMock": "0",
         "StakingRewardsMock": "0",
-        "StakingRewards2Mock": "0",
-        "RewardsMock": "0"
+        "StakingRewards2Mock": "0"
     },
     "link": [
         "LockstakeEngine:jug=Jug",
@@ -60,11 +60,11 @@
         "LockstakeUrn:lssky=LockstakeSky",
         "LockstakeUrn:vat=Vat",
         "Jug:vat=Vat",
-        "UsdsJoinMock:vat=Vat",
-        "UsdsJoinMock:usds=UsdsMock",
         "VoteDelegateMock:gov=SkyMock",
         "VoteDelegate2Mock:gov=SkyMock",
         "VoteDelegateFactoryMock:gov=SkyMock",
+        "UsdsJoinMock:vat=Vat",
+        "UsdsJoinMock:usds=UsdsMock",
         "StakingRewardsMock:rewardsToken=RewardsMock",
         "StakingRewardsMock:stakingToken=LockstakeSky",
         "StakingRewards2Mock:rewardsToken=RewardsMock",

certora/LockstakeEngineMulticall.conf

@@ -24,8 +24,8 @@
         "LockstakeUrn": "200",
         "LockstakeSky": "200",
         "Vat": "0",
-        "SkyMock": "0",
         "VoteDelegateMock": "0",
+        "SkyMock": "0",
         "StakingRewardsMock": "0",
         "MulticallExecutor": "0"
     },

certora/LockstakeUrn.conf

@@ -21,10 +21,10 @@
         "RewardsMock": "200",
     },
     "link": [
-        "StakingRewardsMock:rewardsToken=RewardsMock",
-        "StakingRewardsMock:stakingToken=LockstakeSky",
         "LockstakeUrn:lssky=LockstakeSky",
-        "LockstakeUrn:vat=Vat"
+        "LockstakeUrn:vat=Vat",
+        "StakingRewardsMock:rewardsToken=RewardsMock",
+        "StakingRewardsMock:stakingToken=LockstakeSky"
     ],
     "verify": "LockstakeUrn:certora/LockstakeUrn.spec",
     "rule_sanity": "basic",