Project

General

Profile

Bug #8244

CGAA-to-EFSM engine falls on b05 test

Added by Sergey Smolov over 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Transformer)
Target version:
Start date:
06/18/2017
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Windows x64
Published in build:
1.0.1-beta-170912

Description

2017.06.17 23:41:02.269. INFO: Options: {cgaa=<cgaa>, args=.\build\resources\test\itc99\b05\b05.vhd --target efsm --toplevel b05 --engine cgaa-efsm-transformer --tool-debug-file cgaa-efsm-transformer.log}

2017.06.17 23:41:02.272. DEBUG: {}
2017.06.17 23:41:02.277. DEBUG: {}
2017.06.17 23:41:02.278. DEBUG: {STATO={all-path-num=27, use-path-num=8, control-use-path-num=8, data-use-path-num=0, def-path-num=0, def-use-path-num=0}, FLAG={all-path-num=27, use-path-num=2, control-use-path-num=2, data-use-path-num=0, def-path-num=0, def-use-path-num=0}, MAR={all-path-num=27, use-path-num=2, control-use-path-num=2, data-use-path-num=0, def-path-num=0, def-use-path-num=0}}
2017.06.17 23:41:05.859. INFO: Number of GADD paths: 99
2017.06.17 23:41:05.860. INFO: ======================================
2017.06.17 23:41:05.860. INFO: Clock-like variables: [].
2017.06.17 23:41:05.860. INFO: Transforming the process 'B05 process (MAR,TEMP,MAX) (5f05a1c1)' of module: B05.
2017.06.17 23:41:05.860. INFO: The state-like variables are: <none>.
2017.06.17 23:41:05.871. INFO: Model states number: 1.
2017.06.17 23:41:05.871. INFO: Model transitions number: 7.
2017.06.17 23:41:05.872. INFO: Clock-like variables: [].
2017.06.17 23:41:05.872. INFO: Transforming the process 'B05 process (EN_DISP,RES_DISP,NUM,MAX) (6abeb6a3)' of module: B05.
2017.06.17 23:41:05.872. INFO: The state-like variables are: <none>.
2017.06.17 23:41:06.042. INFO: Model states number: 1.
2017.06.17 23:41:06.042. INFO: Model transitions number: 65.
2017.06.17 23:41:06.042. INFO: Clock-like variables: [CLOCK, RESET].
2017.06.17 23:41:06.042. INFO: Transforming the process 'B05 process (CLOCK,RESET) (ec8be15)' of module: B05.
2017.06.17 23:41:06.222. INFO: The state-like variables are: [STATO, MAR, FLAG].

java.lang.IllegalArgumentException: The specified state is not found in this EFSM: (AND (NOT (OR (EQ STATO 3) (EQ STATO 2))) (EQ STATO 4) (NOT (EQ FLAG 1)) (NOT (EQ MAR 31)) (NOT (EQ MAR 30)))

at ru.ispras.retrascope.model.efsm.EfsmUtils.getIncoming(EfsmUtils.java:162)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.stabilize(CgaaEfsmTransformer.java:535)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.addTransitionsFromSrc(CgaaEfsmTransformer.java:508)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.stabilize(CgaaEfsmTransformer.java:549)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.addTransitionsFromSrc(CgaaEfsmTransformer.java:508)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.createTransitions(CgaaEfsmTransformer.java:495)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.createAllTransitions(CgaaEfsmTransformer.java:458)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.createEfsm(CgaaEfsmTransformer.java:451)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.getOutput(CgaaEfsmTransformer.java:357)
at ru.ispras.retrascope.engine.basis.ModelWalkerEngine.start(ModelWalkerEngine.java:84)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:112)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:214)
at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:211)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:419)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:371)
at ru.ispras.retrascope.HdlTestUtils.runRetrascope(HdlTestUtils.java:316)
at ru.ispras.retrascope.HdlTestUtils.runVhdl(HdlTestUtils.java:167)
at ru.ispras.retrascope.HdlTestUtils.runVhdl(HdlTestUtils.java:133)
at ru.ispras.retrascope.HdlTestUtils.runHdl(HdlTestUtils.java:90)
at ru.ispras.retrascope.HdlTestUtils.runHdl(HdlTestUtils.java:103)
at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformerTestCase.runTest(CgaaEfsmTransformerTestCase.java:131)
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.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:24)
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.junit.runner.JUnitCore.run(JUnitCore.java:157)
at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:69)
at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:234)
at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:74)
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 com.intellij.rt.execution.application.AppMain.main(AppMain.java:144)

History

#1

Updated by Sergey Smolov about 3 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Completely fixed in 6b03cf2a

#2

Updated by Sergey Smolov about 3 years ago

  • Status changed from Resolved to Verified
#3

Updated by Sergey Smolov about 3 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.0.1-beta-170912

Also available in: Atom PDF