public RandomizedElectionsAndGossipTestCase(int maxIterCnt, int instancesCnt, double httpLossProbability, double httpDupProbability, int httpMaxDelay, int timerMinDelay, int timerMaxDelay, CreateInitialGossip createInitialGossip, CreateUpdatedGossip createUpdatedGossip, int? rndSeed = null) : base(maxIterCnt, instancesCnt, httpLossProbability, httpDupProbability, httpMaxDelay, timerMinDelay, timerMaxDelay, rndSeed) { _createInitialGossip = createInitialGossip; _createUpdatedGossip = createUpdatedGossip; _sendOverHttpBlockingProcessor = new SendOverHttpBlockingProcessor(Rnd, Runner, HttpLossProbability, HttpDupProbability, HttpMaxDelay); _updateGossipProcessor = new UpdateGossipProcessor(new ElectionsInstance[0], _sendOverHttpBlockingProcessor, _createUpdatedGossip, Enqueue ); }
public RandomizedElectionsAndGossipTestCase(int maxIterCnt, int instancesCnt, double httpLossProbability, double httpDupProbability, int httpMaxDelay, int timerMinDelay, int timerMaxDelay, CreateInitialGossip createInitialGossip, CreateUpdatedGossip createUpdatedGossip, int?rndSeed = null) : base(maxIterCnt, instancesCnt, httpLossProbability, httpDupProbability, httpMaxDelay, timerMinDelay, timerMaxDelay, rndSeed) { _createInitialGossip = createInitialGossip; _createUpdatedGossip = createUpdatedGossip; _sendOverGrpcBlockingProcessor = new SendOverGrpcBlockingProcessor(Rnd, Runner, HttpLossProbability, HttpDupProbability, HttpMaxDelay); _updateGossipProcessor = new UpdateGossipProcessor(new ElectionsInstance[0], _sendOverGrpcBlockingProcessor, _createUpdatedGossip, Enqueue ); }