propertytest.default.TestShard.totaltotal: numberA positive integer that specifies the total number of shards to split the test files to.