corrections

runtimeverification · Aug 12, 2024 · 8ac38de · 8ac38de
1 parent 98d46e3
commit 8ac38de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/kontrol/VetoSignalling.t.sol b/test/kontrol/VetoSignalling.t.sol
@@ -18,7 +18,7 @@ contract VetoSignallingTest is DualGovernanceSetUp {
      */
     function testTransitionNormalToVetoSignalling() external {
         uint256 rageQuitSupport = signallingEscrow.getRageQuitSupport();
-        vm.assume(rageQuitSupport > config.FIRST_SEAL_RAGE_QUIT_SUPPORT());
+        vm.assume(rageQuitSupport >= config.FIRST_SEAL_RAGE_QUIT_SUPPORT());
         vm.assume(dualGovernance.getCurrentState() == State.Normal);
         dualGovernance.activateNextState();
         assert(dualGovernance.getCurrentState() == State.VetoSignalling);
@@ -70,7 +70,7 @@ contract VetoSignallingTest is DualGovernanceSetUp {
     function _vetoSignallingRageQuitInvariant(Mode mode, StateRecord memory sr) internal view returns (bool) {
         return (
             _establish(mode, sr.rageQuitSupport <= sr.maxRageQuitSupport)
-                && _establish(mode, config.FIRST_SEAL_RAGE_QUIT_SUPPORT() < sr.maxRageQuitSupport)
+                && _establish(mode, config.FIRST_SEAL_RAGE_QUIT_SUPPORT() <= sr.maxRageQuitSupport)
         );
     }