Bug #5648
closed
EfsmSimulator.executeAssignment -> Unsupported data type of ranged variable: (MAP LOGIC_INTEGER LOGIC_INTEGER)
Added by Sergey Smolov over 9 years ago.
Updated about 7 years ago.
Category:
Engine (Generator)
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)
- 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)
- 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)
- 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)
- Target version changed from 0.1 to 0.2
- 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