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

Renamed the state variable in FSM truth table creator.

Browse Source
This commit is contained in:
hneemann 2019-07-24 09:00:41 +02:00
parent c88b4beac7
commit 00bb9af059
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/test/java/de/neemann/digital/fsm/TransitionTableCreatorTest.java
View File

@ -28,7 +28,7 @@ public class TransitionTableCreatorTest extends TestCase {
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(0), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("not(Q^0_n)", el.getFirst().toString());
assertEquals("not(Z^0_n)", el.getFirst().toString());
}
public void testBlinkOnOff() throws ExpressionException, FiniteStateMachineException, FormatterException {
@ -45,7 +45,7 @@ public class TransitionTableCreatorTest extends TestCase {
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(0), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("or(and(not(Q^0_n),Run),and(Q^0_n,not(Run)))", el.getFirst().toString());
assertEquals("or(and(Run,not(Z^0_n)),and(not(Run),Z^0_n))", el.getFirst().toString());
}
public void testBlinkResult() throws ExpressionException, FiniteStateMachineException, FormatterException {
@ -62,13 +62,13 @@ public class TransitionTableCreatorTest extends TestCase {
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(0), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("not(Q^0_n)", el.getFirst().toString());
assertEquals("not(Z^0_n)", el.getFirst().toString());
el = new ExpressionListenerStore(null);
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(1), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("Q^0_n", el.getFirst().toString());
assertEquals("Z^0_n", el.getFirst().toString());
}
public void testBlinkNotDeterministic() throws ExpressionException {
@ -148,13 +148,13 @@ public class TransitionTableCreatorTest extends TestCase {
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(0), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("and(not(Q^0_n),R)", el.getFirst().toString());
assertEquals("and(R,not(Z^0_n))", el.getFirst().toString());
el = new ExpressionListenerStore(null);
new MinimizerQuineMcCluskey().minimize(tt.getVars(), tt.getResult(1), "Y", el);
assertEquals(1, el.getResults().size());
assertEquals("and(not(Q^0_n),R)", el.getFirst().toString());
assertEquals("and(R,not(Z^0_n))", el.getFirst().toString());
}