Retrascope

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)