diff --git a/fdbserver/ClusterController.actor.cpp b/fdbserver/ClusterController.actor.cpp index d6a7b5d9d2..1456319a3f 100644 --- a/fdbserver/ClusterController.actor.cpp +++ b/fdbserver/ClusterController.actor.cpp @@ -926,7 +926,7 @@ public: } } - ASSERT(resultSet.size() <= desired); + ASSERT(resultSet.size() >= required && resultSet.size() <= desired); for (auto& result : resultSet) { id_used[result.interf.locality.processId()]++;