Retrascope

Running: vhdl-parser
Options: {args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25, vhd=[/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd]}
Storing: cfg

Running: cfg-cfginterface-extractor
Options: {args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25, cfg=<cfg>}
Storing: cfg-iface

Running: cfg-cgaa-transformer
Options: {args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25, cfg=<cfg>}
Storing: cgaa

Running: cgaa-efsm-transformer
Options: {cgaa=<cgaa>, args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25}
2015.04.13 10:39:08.870. INFO: Number of GADD paths: 5
2015.04.13 10:39:08.871. INFO: ======================================
2015.04.13 10:39:08.871. INFO: Clock-like variables: [CLK, RST].
2015.04.13 10:39:08.871. INFO: Transforming the process of module: WORK.SAMPLE(BEHAV).
2015.04.13 10:39:08.989. INFO: 2 states are extracted.
2015.04.13 10:39:08.989. INFO: The state-like variables are: [STATE].
2015.04.13 10:39:09.321. INFO: 4 transitions are extracted.
2015.04.13 10:39:09.321. INFO: The initial state is: (EQ STATE 0), reset signal is: [RST].
2015.04.13 10:39:09.321. INFO: 1 EFSM(s) are extracted.
Storing: efsm

Running: efsm-test-generator
Options: {efsm=<efsm>, args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25}
Storing: test

Running: test-vhdl-testbench-printer
Options: {test={sequence: {events: {}; vector: {events: {CLK,RST,X,Y}; transaction: {CLK = false; Y = false; X = false}; transaction: {RST = true}}; vector: {events: {CLK,RST,X,Y}; transaction: {Y = false; X = false}; transaction: {CLK = true; RST = false}}; vector: {events: {CLK,RST,X,Y}; transaction: {Y = false; X = false}; transaction: {CLK = true; RST = false}}; vector: {events: {CLK,RST,X,Y}; transaction: {CLK = false; Y = false; X = false}; transaction: {RST = true}}; vector: {events: {CLK,RST,X,Y}; transaction: {Y = false; X = false}; transaction: {CLK = true; RST = false}}; vector: {events: {CLK,RST,X,Y}; transaction: {CLK = false; Y = false; X = false}; transaction: {RST = true}}}}, cfg-iface=<cfg-iface>, args=/home/ssedai/projects/retrascope.svn/src/test/vhdl/sample/sample.vhd --target .vhd --toplevel sample --engine efsm-test-generator --loop-limit 25}
2015.04.13 10:39:10.190. INFO: EFSM.TestGenerator: generation has been finished successfully. Total coverage: 100% (5 of 5 transitions)
2015.04.13 10:39:10.192. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Unexpected event value: true
    at ru.ispras.retrascope.engine.testbench.DeciderLikeTestPatternPrinter.invertEventValues(DeciderLikeTestPatternPrinter.java:186)
    at ru.ispras.retrascope.engine.testbench.DeciderLikeTestPatternPrinter.print(DeciderLikeTestPatternPrinter.java:79)
    at ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinter.start(TestVhdlTestbenchPrinter.java:232)
    at ru.ispras.retrascope.engine.testbench.TestVhdlTestbenchPrinter.start(TestVhdlTestbenchPrinter.java:57)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
    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:117)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:343)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:365)
    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.testbench.TestVhdlTestbenchPrinterVhdlTestCase.generate(TestVhdlTestbenchPrinterVhdlTestCase.java:33)
    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:78)
    at com.intellij.rt.execution.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:212)
    at com.intellij.rt.execution.junit.JUnitStarter.main(JUnitStarter.java:68)
    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:140)

2015.04.13 10:39:10.195. INFO: Retrascope is shutting down