Bug #10174
nondeterminism at EFSM transitions generation
Start date:
03/18/2020
Due date:
% Done:
100%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
Fluctuations appear at EFSM transition number:
java.lang.AssertionError: [b05]: 'engine=gadd-efsm-transformer modules=B05 states=313 transitions=482 efsms=3' should end with 'states=313 transitions=480 efsms=3' at org.junit.Assert.fail(Assert.java:88) at org.junit.Assert.assertTrue(Assert.java:41) at ru.ispras.retrascope.engine.gadd.transformer.efsm.VhdlGaddEfsmBenchTest.runTest(VhdlGaddEfsmBenchTest.java:129) at ru.ispras.retrascope.engine.gadd.transformer.efsm.VhdlGaddEfsmBenchTest.runTest(VhdlGaddEfsmBenchTest.java:55) at ru.ispras.retrascope.engine.gadd.transformer.efsm.VhdlGaddEfsmTestSuite.runTest_b05(VhdlGaddEfsmTestSuite.java:92)
Associated revisions
gadd-efsm: complete the bugfix (#10174)
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
History
Updated by Sergey Smolov 11 months ago
Here is an example of EFSM transition that appears non-deterministically:
node=((process_0.STATO == 4)) phase=5 => node=((FLAG == 1)) phase=27 {: {(AND (EQ P0_PHASE 00101) (EQ FLAG 1))} -> {{process_0.STATO := 1; P0_PHASE := 11011}}}
Updated by Sergey Smolov 11 months ago
- % Done changed from 0 to 100
- Status changed from New to Resolved
gadd-efsm: bugfix in state gen algorithm (#10174)
Signed-off-by: Sergey Smolov <smolov@ispras.ru>