Project

General

Profile

Actions

Bug #10174

open

nondeterminism at EFSM transitions generation

Added by Sergey Smolov about 3 years ago. Updated about 3 years ago.

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

Actions #1

Updated by Sergey Smolov about 3 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 #2

Updated by Sergey Smolov about 3 years ago

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

Updated by Sergey Smolov about 3 years ago

  • Status changed from Resolved to Verified
Actions

Also available in: Atom PDF