minor fixes to 74181

This commit is contained in:
hneemann 2018-02-22 10:03:32 +01:00
commit 409f16d659
2 changed files with 3455 additions and 2 deletions

File diff suppressed because it is too large Load Diff

View File

@ -29,8 +29,8 @@ 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(211, new FileScanner(this::check).scan(examples)); assertEquals(212, new FileScanner(this::check).scan(examples));
assertEquals(127, testCasesInFiles); assertEquals(159, testCasesInFiles);
} }
/** /**