From 5aec1023ce662a3b3b619f88fdbcd26790665853 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt Date: Fri, 26 Jan 2024 14:37:45 +0100 Subject: [PATCH] Minor refactor --- tests/mbt/model/ccv.qnt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/tests/mbt/model/ccv.qnt b/tests/mbt/model/ccv.qnt index efe865ee4e..9aa8c7612a 100644 --- a/tests/mbt/model/ccv.qnt +++ b/tests/mbt/model/ccv.qnt @@ -227,6 +227,12 @@ module ccv_types { // whether a chain is the provider or not pure val PROVIDER_CHAIN = "provider" + // =================== + // UTILITY FUNCTIONS + // which do not hold the core logic of the protocol, but are invoked by it + // =================== + + // Takes the current provider state and validator set and returns // the validator set under the current key assignments for the given consumer, as stored in the provider state. pure def applyKeyAssignmentToValSet( @@ -287,11 +293,6 @@ module ccv_types { ) } - // =================== - // UTILITY FUNCTIONS - // which do not hold the core logic of the protocol, but are still part of it - // =================== - // Appends the key assignment for the given oldConsAddr on the consumer by a validator // to be pruned when a VscMaturedPacket for the current runningVscId is received from the consumer. pure def AppendConsumerAddrToPrune(currentState: ProtocolState, oldConsAddr: ConsumerAddr, consumer: Chain): ProtocolState = {