Fixes a row numbering issue.

This commit is contained in:
hneemann 2020-11-26 14:43:11 +01:00
parent 7c086d8796
commit d3dc1a9862

View File

@ -234,9 +234,9 @@ public class TestExecutor {
if (visibleRows < (ok ? MAX_RESULTS : ERR_RESULTS)) { if (visibleRows < (ok ? MAX_RESULTS : ERR_RESULTS)) {
visibleRows++; visibleRows++;
results.add(new TestRow(res, testRow.getDescription()).setRow(rowCount)); results.add(new TestRow(res, testRow.getDescription()).setRow(rowCount));
rowCount++;
} else } else
toManyResults = true; toManyResults = true;
rowCount++;
} }
private void advanceModel(Model model, TestRow testRow, Value[] values, Value[] res) { private void advanceModel(Model model, TestRow testRow, Value[] values, Value[] res) {