added 74590

This commit is contained in:
hneemann 2017-05-16 23:35:45 +02:00
parent 5812890831
commit 0de15ae196
2 changed files with 1421 additions and 1 deletions

File diff suppressed because it is too large Load Diff

View File

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