diff --git a/src/main/dig/sequential/D_NAND.dig b/src/main/dig/sequential/D_NAND.dig new file mode 100644 index 000000000..aceb51253 --- /dev/null +++ b/src/main/dig/sequential/D_NAND.dig @@ -0,0 +1,184 @@ + + + 1 + + + + In + + + Label + D + + + + + + In + + + Label + C + + + + + + Out + + + Label + Q + + + + + + Out + + + Label + ~Q + + + + + + Testcase + + + Testdata + + C D Q ~Q +C 1 1 0 +0 1 1 0 +0 0 1 0 +C 0 0 1 +0 0 0 1 +0 1 0 1 + + + + + + + + NAnd + + + + + NAnd + + + + + NAnd + + + + + NAnd + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/src/test/java/de/neemann/digital/integration/TestExamples.java b/src/test/java/de/neemann/digital/integration/TestExamples.java index f8fe0926c..a474ee3ab 100644 --- a/src/test/java/de/neemann/digital/integration/TestExamples.java +++ b/src/test/java/de/neemann/digital/integration/TestExamples.java @@ -28,8 +28,8 @@ public class TestExamples extends TestCase { */ public void testDistExamples() throws Exception { File examples = new File(Resources.getRoot().getParentFile().getParentFile(), "/main/dig"); - assertEquals(190, new FileScanner(this::check).scan(examples)); - assertEquals(89, testCasesInFiles); + assertEquals(191, new FileScanner(this::check).scan(examples)); + assertEquals(90, testCasesInFiles); } /**