public UpdateGossipProcessor(IEnumerable<ElectionsInstance> allInstances,
                                     SendOverHttpBlockingProcessor sendOverHttpProcessor,
                                     RandomizedElectionsAndGossipTestCase.CreateUpdatedGossip createUpdatedGossip,
                                     Action<RandTestQueueItem, Message> enqueue)
        {
            _sendOverHttpProcessor = sendOverHttpProcessor;
            _createUpdatedGossip = createUpdatedGossip;
            _enqueue = enqueue;
            _instances = allInstances.ToArray();

            _processedItems = new List<RandTestQueueItem>();
            ProcessedItems = _processedItems;
        }
        public void SetUp()
        {
            _randomCase = new RandomizedElectionsAndGossipTestCase(ElectionParams.MaxIterationCount,
                                                                   instancesCnt: 5,
                                                                   httpLossProbability: 0.3,
                                                                   httpDupProbability: 0.3,
                                                                   httpMaxDelay: 20,
                                                                   timerMinDelay: 100,
                                                                   timerMaxDelay: 200,
                                                                   createInitialGossip: CreateInitialGossip,
                                                                   createUpdatedGossip: CreateUpdatedGossip
                    );

            _randomCase.Init();
        }
        public void SetUp()
        {
            _randomCase = new RandomizedElectionsAndGossipTestCase(ElectionParams.MaxIterationCount,
                                                                   instancesCnt: 5,
                                                                   httpLossProbability: 0.3,
                                                                   httpDupProbability: 0.3,
                                                                   httpMaxDelay: 20,
                                                                   timerMinDelay: 100,
                                                                   timerMaxDelay: 200,
                                                                   createInitialGossip: CreateInitialGossip,
                                                                   createUpdatedGossip: CreateUpdatedGossip
                                                                   );

            _randomCase.Init();
        }