Project

General

Profile

Bug #5648

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

Added by Sergey Smolov about 5 years ago. Updated over 2 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)

History

#1

Updated by Sergey Smolov about 5 years ago

  • Subject changed from [efsm][generator][test] EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER) to EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER)
  • Category set to Engine (Generator)
#2

Updated by Igor Melnichenko almost 5 years ago

  • Status changed from New to Feedback
  • Detected in build changed from svn to 1751

In the current Retrascope revision the following exception is thrown while processing b12:

java.lang.IllegalArgumentException: Cannot parse loop: ru.ispras.retrascope.model.cfg.Switch@71a40dde.
at ru.ispras.retrascope.parser.basis.backend.CfgLoopBackend.onMergeBegin(CfgLoopBackend.java:352)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitMerge(CfgWalker.java:312)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:180)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitBasicBlock(CfgWalker.java:355)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:174)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitBasicBlock(CfgWalker.java:355)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:174)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitCase(CfgWalker.java:337)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:177)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitSwitch(CfgWalker.java:301)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:183)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitSource(CfgWalker.java:281)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:189)
at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:145)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitProcess(CfgWalker.java:263)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitModule(CfgWalker.java:234)
at ru.ispras.retrascope.model.cfg.CfgWalker.visitCfgModel(CfgWalker.java:213)
at ru.ispras.retrascope.model.cfg.CfgWalker.start(CfgWalker.java:114)
at ru.ispras.retrascope.engine.cfg.CfgVisitorBackend.start(CfgVisitorBackend.java:70)
at ru.ispras.retrascope.basis.Engine.runBackEnds(Engine.java:257)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:202)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:116)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:340)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:362)
at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:148)
at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:73)
at ru.ispras.retrascope.util.HdlUtilTest.runVhdl(HdlUtilTest.java:94)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGeneratorVhdlTestCase.generate(EfsmTestGeneratorVhdlTestCase.java:32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:606)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:76)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)
at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)
at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:459)
at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:675)
at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:382)
at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:192)

#3

Updated by Sergey Smolov almost 5 years ago

  • Status changed from Feedback to Open
  • Detected in build changed from 1751 to 1753

The Retrascope log today is:

2015.04.07 11:32:32.451. INFO: Number of GADD paths: 125
2015.04.07 11:32:32.451. INFO: ======================================
2015.04.07 11:32:32.451. INFO: Clock-like variables: [CLOCK, RESET].
2015.04.07 11:32:32.451. INFO: Transforming the process of module: WORK.B12(BEHAV).
2015.04.07 11:32:33.171. INFO: 2 states are extracted.
2015.04.07 11:32:33.171. INFO: The state-like variables are: [COUNTER].
2015.04.07 11:32:34.623. INFO: 29 transitions are extracted.
2015.04.07 11:32:34.623. INFO: The initial state is: (AND (NOT (AND (NOT (LESS COUNTER 2)) (NOT (EQ COUNTER 2)))) (NOT (AND (NOT (LESS COUNTER 3)) (NOT (EQ COUNTER 3)))) (NOT (AND (NOT (LESS COUNTER 4)) (NOT (EQ COUNTER 4)))) (NOT (AND (NOT (LESS COUNTER 5)) (NOT (EQ COUNTER 5)))) (NOT (AND (NOT (LESS COUNTER 6)) (NOT (EQ COUNTER 6)))) (NOT (AND (NOT (LESS COUNTER 1)) (NOT (EQ COUNTER 1))))), reset signal is: [RESET].
2015.04.07 11:32:34.625. INFO: Clock-like variables: [CLOCK, RESET].
2015.04.07 11:32:34.625. INFO: Transforming the process of module: WORK.B12(BEHAV).
2015.04.07 11:32:34.625. INFO: 1 states are extracted.
2015.04.07 11:32:34.625. INFO: The state-like variables are: [].
2015.04.07 11:32:34.690. INFO: 2 transitions are extracted.
2015.04.07 11:32:34.691. INFO: The initial state is: true, reset signal is: [RESET].
2015.04.07 11:32:34.691. INFO: Clock-like variables: [CLOCK, RESET].
2015.04.07 11:32:34.691. INFO: Transforming the process of module: WORK.B12(BEHAV).
2015.04.07 11:32:34.691. INFO: 1 states are extracted.
2015.04.07 11:32:34.691. INFO: The state-like variables are: [].
2015.04.07 11:32:34.799. INFO: 3 transitions are extracted.
2015.04.07 11:32:34.800. INFO: The initial state is: true, reset signal is: [RESET].
2015.04.07 11:32:34.800. INFO: Clock-like variables: [CLOCK, RESET].
2015.04.07 11:32:34.800. INFO: Transforming the process of module: WORK.B12(BEHAV).
2015.04.07 11:32:36.556. INFO: 43 states are extracted.
2015.04.07 11:32:36.557. INFO: The state-like variables are: [COUNT, GAMMA, MAX, SCAN].
2015.04.07 11:35:10.749. INFO: 167 transitions are extracted.
2015.04.07 11:35:10.749. INFO: The initial state is: (EQ GAMMA 0), reset signal is: [RESET].
2015.04.07 11:35:10.749. INFO: 4 EFSM(s) are extracted.
Storing: efsm
2015.04.07 11:35:10.750. INFO: EFSM.FATE: sequence length isn't specified. Setting it to the default value: 51

2015.04.07 11:35:10.750. INFO: EFSM.FATE: amount of sequences isn't specified. Setting it to the default value: 4
Running: efsm-fate-test-generator
2015.04.07 11:35:10.750. INFO: EFSM.FATE: loop limit isn't specified. Setting it to the default value: 1
Options: {efsm=<efsm>, args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/itc99-poli2/b12/b12.vhd --target test --toplevel b12 --engine efsm-fate-test-generator}
2015.04.07 11:39:27.792. ERROR: The exception has been encountered: java.lang.NullPointerException
    at ru.ispras.fortress.expression.NodeBinding.bindVariable(NodeBinding.java:219)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator.enableGuardedAction(DirectedFateGenerator.java:543)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator.generateInputsForTransition(DirectedFateGenerator.java:518)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator.traverseTransition(DirectedFateGenerator.java:473)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator.generateSequence(DirectedFateGenerator.java:214)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.DirectedFateGenerator.getNextSequenceIterator(DirectedFateGenerator.java:167)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:318)
    at ru.ispras.retrascope.engine.efsm.generator.test.fate.EfsmFateTestGenerator.start(EfsmFateTestGenerator.java:52)
#4

Updated by Sergey Smolov about 4 years ago

  • Target version changed from 0.1 to 0.2
#5

Updated by Sergey Smolov over 2 years ago

  • Status changed from Open to Rejected

The b12 design contains ranged variables with variable-dependent expressions in their ranges. So for now it's unsupported.

Also available in: Atom PDF