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

Improved state variable names created by the FSM editor.

Browse Source
This commit is contained in:
hneemann 2019-06-25 21:05:06 +02:00
parent 50a047fdb3
commit 3808d15c81
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(Q0_n)", el.getFirst().toString());
assertEquals("not(Q^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(Q0_n),Run),and(Q0_n,not(Run)))", el.getFirst().toString());
assertEquals("or(and(not(Q^0_n),Run),and(Q^0_n,not(Run)))", 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(Q0_n)", el.getFirst().toString());
assertEquals("not(Q^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("Q0_n", el.getFirst().toString());
assertEquals("Q^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(Q0_n),R)", el.getFirst().toString());
assertEquals("and(not(Q^0_n),R)", 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(Q0_n),R)", el.getFirst().toString());
assertEquals("and(not(Q^0_n),R)", el.getFirst().toString());
}