From d3dc1a9862d750044ec5079278a553c9cc203c59 Mon Sep 17 00:00:00 2001 From: hneemann Date: Thu, 26 Nov 2020 14:43:11 +0100 Subject: [PATCH] Fixes a row numbering issue. --- src/main/java/de/neemann/digital/testing/TestExecutor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/de/neemann/digital/testing/TestExecutor.java b/src/main/java/de/neemann/digital/testing/TestExecutor.java index abde88e25..34ba1f375 100644 --- a/src/main/java/de/neemann/digital/testing/TestExecutor.java +++ b/src/main/java/de/neemann/digital/testing/TestExecutor.java @@ -234,9 +234,9 @@ public class TestExecutor { if (visibleRows < (ok ? MAX_RESULTS : ERR_RESULTS)) { visibleRows++; results.add(new TestRow(res, testRow.getDescription()).setRow(rowCount)); - rowCount++; } else toManyResults = true; + rowCount++; } private void advanceModel(Model model, TestRow testRow, Value[] values, Value[] res) {