attach messages to root node if no running node found

This commit is contained in:
Sergey Simonchik
2013-12-25 14:38:41 +04:00
parent fe19e6aaba
commit 5c660057ef
@@ -513,7 +513,7 @@ public class GeneralIdBasedToSMTRunnerEventsConvertor extends GeneralTestEventsP
}
}
if (runningLeaves.isEmpty()) {
throw new RuntimeException("No running leaves found, running nodes: " + myRunningNodes);
return myTestsRootNode;
}
if (runningLeaves.size() == 1) {
return runningLeaves.iterator().next();