public RandomizedElectionsTestCase(int maxIterCnt, int instancesCnt, double httpLossProbability, double httpDupProbability, int httpMaxDelay, int timerMinDelay, int timerMaxDelay, int?rndSeed = null, bool isReadOnlyReplica = false) { RndSeed = rndSeed ?? Math.Abs(Environment.TickCount); Rnd = new Random(RndSeed); _maxIterCnt = maxIterCnt; InstancesCnt = instancesCnt; HttpLossProbability = httpLossProbability; HttpDupProbability = httpDupProbability; HttpMaxDelay = httpMaxDelay; _timerMinDelay = timerMinDelay; _timerMaxDelay = timerMaxDelay; _isReadOnlyReplica = isReadOnlyReplica; Runner = new RandomTestRunner(_maxIterCnt); Logger = new ElectionsLogger(); }
public RandomizedElectionsTestCase(int maxIterCnt, int instancesCnt, double httpLossProbability, double httpDupProbability, int httpMaxDelay, int timerMinDelay, int timerMaxDelay, int? rndSeed = null) { RndSeed = rndSeed ?? Math.Abs(Environment.TickCount); Rnd = new Random(RndSeed); _maxIterCnt = maxIterCnt; InstancesCnt = instancesCnt; HttpLossProbability = httpLossProbability; HttpDupProbability = httpDupProbability; HttpMaxDelay = httpMaxDelay; _timerMinDelay = timerMinDelay; _timerMaxDelay = timerMaxDelay; Runner = new RandomTestRunner(_maxIterCnt); Logger = new ElectionsLogger(); }