From 98d46e36f5fc7212d64bc2eb923265c05c5ca94c Mon Sep 17 00:00:00 2001
From: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
Date: Sat, 10 Aug 2024 16:23:51 +0200
Subject: [PATCH] correction

---
 test/kontrol/VetoSignalling.t.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/kontrol/VetoSignalling.t.sol b/test/kontrol/VetoSignalling.t.sol
index 3a63b8b7..1a2096fa 100644
--- a/test/kontrol/VetoSignalling.t.sol
+++ b/test/kontrol/VetoSignalling.t.sol
@@ -331,7 +331,7 @@ contract VetoSignallingTest is DualGovernanceSetUp {
         vm.assume(block.timestamp < timeUpperBound);
         vm.assume(lastInteractionTimestamp < timeUpperBound);
         vm.assume(signallingEscrow.getRageQuitSupport() <= maxRageQuitSupport);
-        vm.assume(maxRageQuitSupport <= config.SECOND_SEAL_RAGE_QUIT_SUPPORT());
+        vm.assume(maxRageQuitSupport < config.SECOND_SEAL_RAGE_QUIT_SUPPORT());
 
         StateRecord memory previous = _recordPreviousState(
             Timestamp.wrap(uint40(lastInteractionTimestamp)), previousRageQuitSupport, maxRageQuitSupport