diff --git a/src/test/java/de/neemann/digital/analyse/ModelAnalyserTest.java b/src/test/java/de/neemann/digital/analyse/ModelAnalyserTest.java index 2eaceb59b..1df121e96 100644 --- a/src/test/java/de/neemann/digital/analyse/ModelAnalyserTest.java +++ b/src/test/java/de/neemann/digital/analyse/ModelAnalyserTest.java @@ -117,6 +117,17 @@ public class ModelAnalyserTest extends TestCase { public void testAnalyzerMultiBit2() throws Exception { Model model = new ToBreakRunner("dig/analyze/multiBitInOut.dig", false).getModel(); TruthTable tt = new ModelAnalyser(model).analyse(); + checkIdent(tt); + } + + // test with non zero default values set + public void testAnalyzerMultiBit3() throws Exception { + Model model = new ToBreakRunner("dig/analyze/multiBitInOutDef.dig", false).getModel(); + TruthTable tt = new ModelAnalyser(model).analyse(); + checkIdent(tt); + } + + private void checkIdent(TruthTable tt) { assertEquals("B0",tt.getResultName(0)); final BoolTable r0 = tt.getResult(0); assertEquals(4,r0.size()); @@ -134,5 +145,4 @@ public class ModelAnalyserTest extends TestCase { assertEquals(one,r1.get(3)); } - } \ No newline at end of file diff --git a/src/test/resources/dig/analyze/multiBitInOutDef.dig b/src/test/resources/dig/analyze/multiBitInOutDef.dig new file mode 100644 index 000000000..a0b820083 --- /dev/null +++ b/src/test/resources/dig/analyze/multiBitInOutDef.dig @@ -0,0 +1,45 @@ + + + 1 + + + + In + + + Label + A + + + Bits + 2 + + + Default + 1 + + + + + + Out + + + Label + B + + + Bits + 2 + + + + + + + + + + + + \ No newline at end of file