fixed a merging issue

This commit is contained in:
hneemann 2022-02-02 10:51:06 +01:00
parent e5e4aa2c7f
commit 8181c598d3

View File

@ -40,7 +40,7 @@ public class TestExamples extends TestCase {
*/ */
public void testDistExamples() throws Exception { public void testDistExamples() throws Exception {
File examples = new File(Resources.getRoot().getParentFile().getParentFile(), "/main/dig"); File examples = new File(Resources.getRoot().getParentFile().getParentFile(), "/main/dig");
assertEquals(323, new FileScanner(this::check).scan(examples)); assertEquals(324, new FileScanner(this::check).scan(examples));
assertEquals(514, testCasesInFiles); assertEquals(514, testCasesInFiles);
} }