Add VetoCooldownTest

test/kontrol/VetoCooldown.t.sol

@@ -0,0 +1,18 @@
+pragma solidity 0.8.23;
+
+import "forge-std/Vm.sol";
+import "kontrol-cheatcodes/KontrolCheats.sol";
+
+import "@openzeppelin/contracts/utils/math/Math.sol";
+
+import "test/kontrol/DualGovernanceSetUp.sol";
+
+contract VetoCooldownTest is DualGovernanceSetUp {
+    function testVetoCooldownDuration() external {
+        vm.assume(dualGovernance.currentState() == State.VetoCooldown);
+
+        bool stillInVetoCooldown = (dualGovernance.currentState() == State.VetoCooldown);
+        bool durationHasElapsed = (block.timestamp - _getEnteredAt(dualGovernance) > config.VETO_COOLDOWN_DURATION());
+        assert(stillInVetoCooldown == durationHasElapsed);
+    }
+}

test/kontrol/scripts/run-kontrol.sh

@@ -101,6 +101,7 @@ test_list=()
 if [ "$SCRIPT_TESTS" == true ]; then
     # Here go the list of tests to execute with the `script` option
     test_list=(
+        "VetoCooldownTest.testVetoCooldownDuration"
         "VetoSignallingTest.testTransitionNormalToVetoSignalling"
         "VetoSignallingTest.testVetoSignallingInvariantsHoldInitially"
         "EscrowAccountingTest.testRageQuitSupport"