Merge remote-tracking branch 'origin/master'

This commit is contained in:
Dmitry Trofimov
2014-01-21 13:03:42 +01:00
@@ -100,9 +100,11 @@ public class GeneralIdBasedToSMTRunnerEventsConvertor extends GeneralTestEventsP
if (completeTree) {
myTestsRootProxy.setFinished();
} else {
logProblem("Unexpected running nodes: " + myRunningTestNodes);
myTestsRootProxy.setTerminated();
}
if (!myRunningTestNodes.isEmpty()) {
logProblem("Unexpected running nodes: " + myRunningTestNodes);
}
myNodeByIdMap.clear();
myRunningTestNodes.clear();