Project

General

Profile

Bug #10174

nondeterminism at EFSM transitions generation

Added by Sergey Smolov 12 months ago. Updated 11 months ago.

Status:
Verified
Priority:
High
Assignee:
Sergey Smolov
Category:
Engine (Transformer)
Target version:
1.1
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

Revision 87f9fa9a (diff)
Added by Sergey Smolov 11 months ago

gadd-efsm: bugfix in state gen algorithm (#10174)

Signed-off-by: Sergey Smolov <>

Revision 3196bfbe (diff)
Added by Sergey Smolov 11 months ago

gadd-efsm: complete the bugfix (#10174)

Signed-off-by: Sergey Smolov <>

History

#1

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}}}
#2

Updated by Sergey Smolov 11 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
#3

Updated by Sergey Smolov 11 months ago

  • Status changed from Resolved to Verified

Also available in: Atom PDF