Project

General

Profile

Actions

Bug #5648

closed

EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER)

Added by Sergey Smolov about 9 years ago. Updated over 6 years ago.

Status:
Rejected
Priority:
High
Category:
Engine (Generator)
Target version:
Start date:
02/22/2015
Due date:
% Done:

0%

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

Description

Command line arguments: src\test\vhdl\itc99-poli2\b12\b12.vhd --target test --toplevel b12 --engine efsm-fate-test-generator

java.lang.IllegalArgumentException: Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAssignment(EfsmSimulator.java:623)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAction(EfsmSimulator.java:578)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.initialise(EfsmSimulator.java:300)
    at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.processEvents(EfsmSimulator.java:259)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator.generateInputVectorRandomly(RandomFateGenerator.java:194)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator$RandomFateSequenceIterator.next(RandomFateGenerator.java:506)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.RandomFateGenerator$RandomFateSequenceIterator.next(RandomFateGenerator.java:490)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:264)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:51)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:199)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:199)
    at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:115)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:331)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:353)
Actions

Also available in: Atom PDF