From 667aafad80bb02219e4f9b3b04e66bf63c068fcb Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Mon, 25 Mar 2024 11:03:35 +0100 Subject: [PATCH] Do not throw error on optout if val is not opted in --- tests/mbt/model/ccv_pss.qnt | 2 -- 1 file changed, 2 deletions(-) diff --git a/tests/mbt/model/ccv_pss.qnt b/tests/mbt/model/ccv_pss.qnt index 4759fe6b34..3780bc29fe 100644 --- a/tests/mbt/model/ccv_pss.qnt +++ b/tests/mbt/model/ccv_pss.qnt @@ -115,8 +115,6 @@ module ccv_pss { pure def OptOut(currentState: ProtocolState, consumer: Chain, validator: Node): Result = { if (currentState.IsTopN(validator, consumer)) { Err("Cannot opt out a validator that is in the top N") - } else if (not(currentState.IsOptedIn(validator, consumer))) { - Err("Cannot opt out a validator that is not opted in") } else { pure val optedInVals = currentState.providerState.optedInVals.get(consumer) pure val newOptedInVals = optedInVals.exclude(Set(validator))