Project

General

Profile

Actions
Copy link

Bug #10085

closed

EfsmTransitionPropertyExtractorTestCase: There is no declaration of variable neither in this EFSM nor in its ancestors: process_0.D

Added by Sergey Smolov almost 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Extractor)
Target version:
1.1
Start date:
02/01/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
master
Platform:
Published in build:

Description

java.lang.IllegalArgumentException: There is no declaration of variable neither in this EFSM nor in its ancestors: process_0.D
    at ru.ispras.retrascope.model.efsm.Efsm.processAddedExpression(Efsm.java:540)
    at ru.ispras.retrascope.model.efsm.Efsm.addState(Efsm.java:241)
    at ru.ispras.retrascope.model.efsm.Efsm.addState(Efsm.java:223)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.printStateVarInfo(GaddEfsmTransformer.java:493)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.createEfsm(GaddEfsmTransformer.java:482)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.getOutput(GaddEfsmTransformer.java:389)
    at ru.ispras.retrascope.engine.basis.ModelWalkerEngine.start(ModelWalkerEngine.java:84)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:332)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:332)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:220)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:461)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:378)
    at ru.ispras.retrascope.HdlTestUtils.runRetrascope(HdlTestUtils.java:351)
    at ru.ispras.retrascope.HdlTestUtils.runVhdl(HdlTestUtils.java:167)
    at ru.ispras.retrascope.HdlTestUtils.runVhdl(HdlTestUtils.java:135)
    at ru.ispras.retrascope.HdlTestUtils.runHdl(HdlTestUtils.java:92)
    at ru.ispras.retrascope.engine.efsm.extractor.property.EfsmTransitionPropertyExtractorTestCase.runTest(EfsmTransitionPropertyExtractorTestCase.java:69)
Actions
Copy link

Also available in: Atom PDF