Bug #10174: nondeterminism at EFSM transitions generation - Retrascope - Open-Source Projects

Actions

Copy link

Bug #10174

closed

nondeterminism at EFSM transitions generation

Added by Sergey Smolov over 4 years ago. Updated over 1 year ago.

Status:

Closed

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:

1.1.3-beta-230504

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)

Actions

Copy link

Updated by Sergey Smolov over 4 years 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}}}

Actions

Copy link