Fix voting power change behaviour around 0

cosmos · Oct 11, 2023 · 8aee401 · 8aee401
1 parent 852dac4
commit 8aee401
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
@@ -250,8 +250,8 @@ module ccv {
     // the power of a validator on the provider chain is changed to the given amount. We do not care how this happens,
     // e.g. via undelegations, or delegations, ...
     pure def votingPowerChange(currentState: ProtocolState, validator: Node, amount: int): Result = {
-            if (amount <= 0) {
-                Err("Voting power changes must be positive")
+            if (amount < 0) {
+                Err("Voting power changes must be nonnegative")
             } else {
                 pure val currentValidatorSet = currentState.providerState.chainState.currentValidatorSet
                 pure val newValidatorSet = getUpdatedValidatorSet(currentValidatorSet, validator, amount)