/** Update the recorded test results with new or changed results. Reports any change. */
void update(ITestCaseElement elt) {
Test test = new Test(elt);
TestResult result = new TestResult(elt, project);
if (!results.containsKey(test)) {
results.put(test, result);
} else if (!result.equals(results.get(test))) {
results.put(test, result);
} else {
return;
}
reportAdd(test, result);
}
