Split ConfigIncrement workload

Adds a new ConfigIncrement workload that tests the ability of the
configuration database to remain correct under minority node data loss
situations.

tests/CMakeLists.txt

@@ -184,6 +184,7 @@ if(WITH_PYTHON)
   add_fdb_test(TEST_FILES rare/ClogUnclog.toml)
   add_fdb_test(TEST_FILES rare/CloggedCycleWithKills.toml)
   add_fdb_test(TEST_FILES rare/ConfigIncrement.toml)
+  add_fdb_test(TEST_FILES rare/ConfigIncrementWithKills.toml)
   add_fdb_test(TEST_FILES rare/ConflictRangeCheck.toml)
   add_fdb_test(TEST_FILES rare/ConflictRangeRYOWCheck.toml)
   add_fdb_test(TEST_FILES rare/CycleRollbackClogged.toml)

tests/rare/ConfigIncrement.toml

@@ -1,6 +1,5 @@
 [configuration]
-configDB = 'paxos'
+configDB = 'random'
-coordinators = 3
 
 [[test]]
 testTitle = 'ConfigIncrement'
@@ -14,3 +13,7 @@ testTitle = 'ConfigIncrement'
 
   [[test.workload]]
   testName = 'Attrition'
+  machinesToKill = 10
+  machinesToLeave = 3
+  reboot = true
+  testDuration = 10.0

tests/rare/ConfigIncrementWithKills.toml

@@ -0,0 +1,16 @@
+[configuration]
+configDB = 'paxos'
+
+[[test]]
+testTitle = 'ConfigIncrement'
+
+  [[test.workload]]
+  testName = 'ConfigIncrement'
+  incrementActors = 2
+  incrementsPerActor = 10
+  meanSleepWithinTransactions = 0.01
+  meanSleepBetweenTransactions = 0.1
+
+  [[test.workload]]
+  testName = 'Attrition'
+  reboot = false