Project

General

Profile

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

Also available in: Atom PDF