TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-11 13:57:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

adds a Dadda multiplier example

Browse Source
This commit is contained in:
hneemann 2020-09-17 10:14:51 +02:00
parent 50d89aac3d
commit ec08edbcda
3 changed files with 2709 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2693
src/main/dig/combinatorial/DaddaMultiplier.dig Normal file
View File

File diff suppressed because it is too large Load Diff

28
src/main/dig/combinatorial/FullAdder.dig
View File

@ -202,6 +202,20 @@
</elementAttributes> </elementAttributes>
<pos x="520" y="460"/> <pos x="520" y="460"/>
</visualElement> </visualElement>
<visualElement>
<elementName>Out</elementName>
<elementAttributes>
<entry>
<string>Description</string>
<string>sum {{de Summe}}</string>
</entry>
<entry>
<string>Label</string>
<string>S_i</string>
</entry>
</elementAttributes>
<pos x="960" y="440"/>
</visualElement>
<visualElement> <visualElement>
<elementName>Out</elementName> <elementName>Out</elementName>
<elementAttributes> <elementAttributes>
@ -217,20 +231,6 @@
</elementAttributes> </elementAttributes>
<pos x="960" y="280"/> <pos x="960" y="280"/>
</visualElement> </visualElement>
<visualElement>
<elementName>Out</elementName>
<elementAttributes>
<entry>
<string>Description</string>
<string>sum {{de Summe}}</string>
</entry>
<entry>
<string>Label</string>
<string>S_i</string>
</entry>
</elementAttributes>
<pos x="960" y="440"/>
</visualElement>
<visualElement> <visualElement>
<elementName>Testcase</elementName> <elementName>Testcase</elementName>
<elementAttributes> <elementAttributes>

4
src/test/java/de/neemann/digital/integration/TestExamples.java
View File

@ -33,8 +33,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(299, new FileScanner(this::check).scan(examples)); assertEquals(300, new FileScanner(this::check).scan(examples));
assertEquals(195, testCasesInFiles); assertEquals(196, testCasesInFiles);
} }
/** /**