Merge pull request #14 from bgd-labs/fix/extra-migration-tests

fix: migration extra tests
Certora · Dec 18, 2023 · 886c591 · 886c591
2 parents 964740e + 355c323
commit 886c591
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/tests/governance_V2_5/Governance_V3.t.sol b/tests/governance_V2_5/Governance_V3.t.sol
@@ -97,5 +97,24 @@ contract Governance_V3_Test is Test {
     assertEq(votingConfigLvl2.yesThreshold, 1_400_000);
     assertEq(votingConfigLvl2.yesNoDifferential, 1_400_000);
     assertEq(votingConfigLvl2.minPropositionPower, 80_000);
+
+    assertEq(
+      GovernanceV3Ethereum.GOVERNANCE.isVotingPortalApproved(
+        GovernanceV3Ethereum.VOTING_PORTAL_ETH_ETH
+      ),
+      true
+    );
+    assertEq(
+      GovernanceV3Ethereum.GOVERNANCE.isVotingPortalApproved(
+        GovernanceV3Ethereum.VOTING_PORTAL_ETH_AVAX
+      ),
+      true
+    );
+    assertEq(
+      GovernanceV3Ethereum.GOVERNANCE.isVotingPortalApproved(
+        GovernanceV3Ethereum.VOTING_PORTAL_ETH_POL
+      ),
+      true
+    );
   }
 }