Bug #6365: src/test/vhdl/example/example.vhd: IllegalArgumentException - Retrascope - Open-Source Projects

Actions

Copy link

Bug #6365

closed

src/test/vhdl/example/example.vhd: IllegalArgumentException

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

Status:

Closed

Priority:

Normal

Assignee:

Mikhail Lebedev

Category:

Engine (Extractor)

Target version:

0.1

Start date:

10/23/2015

Due date:

% Done:

100%

Estimated time:

Detected in build:

svn

Platform:

Published in build:

0.2.1

Description

The EfsmUtils.product method do not remain variables that are declared not in EFSM's, but in their ancestors.
This fact causes the following exception:

2015.10.23 14:53:30.098. INFO: Options: {efsm=<efsm>, args=/home/ssedai/projects/retrascope.svn/build/resources/test/example/example.vhd --target conflicts --toplevel example --search-type BFS --search-depth 10}

2015.10.23 14:53:30.098. INFO: EFSM Conflict Extractor: Starting
2015.10.23 14:53:30.099. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_0, EXAMPLE_1
2015.10.23 14:53:30.119. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.119. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_0, EXAMPLE_2
2015.10.23 14:53:30.119. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.119. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_0, WORK.DRIVER(BEHAV).DRIVER1_4
2015.10.23 14:53:30.120. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.120. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_0, WORK.TEST(BEHAVIORAL).TEST1_3
2015.10.23 14:53:30.120. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.120. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_1, EXAMPLE_2
2015.10.23 14:53:30.121. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.121. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_1, WORK.DRIVER(BEHAV).DRIVER1_4
2015.10.23 14:53:30.121. INFO: EFSM Conflict Extractor: Duplicating variables: 1
2015.10.23 14:53:30.121. INFO: EFSM Conflict Extractor: Z
2015.10.23 14:53:30.121. INFO: EFSM Conflict Extractor: Transitions: 4
2015.10.23 14:53:30.125. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_1, WORK.TEST(BEHAVIORAL).TEST1_3
2015.10.23 14:53:30.126. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.126. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_2, WORK.DRIVER(BEHAV).DRIVER1_4
2015.10.23 14:53:30.126. INFO: EFSM Conflict Extractor: Duplicating variables: 0
2015.10.23 14:53:30.127. INFO: EFSM Conflict Extractor: Examining: EXAMPLE_2, WORK.TEST(BEHAVIORAL).TEST1_3
2015.10.23 14:53:30.127. INFO: EFSM Conflict Extractor: Duplicating variables: 1
2015.10.23 14:53:30.127. INFO: EFSM Conflict Extractor: C
2015.10.23 14:53:30.127. INFO: EFSM Conflict Extractor: Transitions: 5
2015.10.23 14:53:30.134. INFO: EFSM Conflict Extractor: Examining: WORK.DRIVER(BEHAV).DRIVER1_4, WORK.TEST(BEHAVIORAL).TEST1_3

There is no declaration of variable RESET neither in this EFSM nor in its ancestors.
java.lang.IllegalArgumentException: There is no declaration of variable RESET neither in this EFSM nor in its ancestors.
    at ru.ispras.retrascope.model.efsm.Efsm.processAddedExpression(Efsm.java:647)
    at ru.ispras.retrascope.model.efsm.Efsm.createTransition(Efsm.java:227)
    at ru.ispras.retrascope.model.efsm.EfsmUtils.product(EfsmUtils.java:345)
    at ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor.searchConflicts(EfsmConflictExtractor.java:212)
    at ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractor.start(EfsmConflictExtractor.java:169)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:110)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:199)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:375)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:395)
    at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:169)
    at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:81)
    at ru.ispras.retrascope.engine.efsm.extractor.conflict.EfsmConflictExtractorTestCase.test(EfsmConflictExtractorTestCase.java:54)
    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)