updateMinimumState  789 dmtcp_coordinator.cpp       updateMinimumState(oldState);
updateMinimumState  935 dmtcp_coordinator.cpp     updateMinimumState(client->state());
updateMinimumState   89 dmtcp_coordinator.h       void updateMinimumState(WorkerState oldState);