/** 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);
}
public static boolean testSimulation(VerschenknixAG v, TestResult tr) {
v.simulate();
TestResult res = summary2TestResult(v.getSummary());
return res.equals(tr);
}