| 193 | } |
| 194 | |
| 195 | int Conductor::getNextExecId() const |
| 196 | { |
| 197 | int eid = getRandomExID(); |
| 198 | while (executions_.find(eid) != executions_.end()) |
| 199 | { |
| 200 | eid = getRandomExID(); |
| 201 | } |
| 202 | return eid; |
| 203 | } |
| 204 | |
| 205 | void Conductor::setMetaData(int exec_id, const std::string &group_name, |
| 206 | const std::string &exec_name, |
no test coverage detected