adds 74377, closes #405

This commit is contained in:
hneemann 2020-01-01 13:11:01 +01:00
parent 1eec3819bf
commit a192c3e726
2 changed files with 1200 additions and 2 deletions

File diff suppressed because it is too large Load Diff

View File

@ -32,8 +32,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(289, new FileScanner(this::check).scan(examples)); assertEquals(290, new FileScanner(this::check).scan(examples));
assertEquals(191, testCasesInFiles); assertEquals(192, testCasesInFiles);
} }
/** /**