correction

runtimeverification · Aug 10, 2024 · 98d46e3 · 98d46e3
1 parent 25ac0b5
commit 98d46e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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