Retrascope

2016.10.08 11:55:17.472. INFO: Retrascope is starting
2016.10.08 11:55:17.472. INFO: Running: verilog-parser

2016.10.08 11:55:17.472. INFO: Options: {v=[D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v], args=D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v --target vhdl-testbench --include-path D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16 --engine efsm-test-generator --overwrite-existing --loop-limit 25}

Including file 'D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v'
2016.10.08 11:55:17.475. INFO: Storing: cfg

2016.10.08 11:55:17.476. INFO: Running: cfg-cfginterface-extractor

2016.10.08 11:55:17.476. INFO: Options: {args=D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v --target vhdl-testbench --include-path D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16 --engine efsm-test-generator --overwrite-existing --loop-limit 25, cfg=<cfg>}

2016.10.08 11:55:17.476. INFO: Storing: cfg-iface

2016.10.08 11:55:17.476. INFO: Running: cfg-cgaa-transformer

2016.10.08 11:55:17.476. INFO: Options: {args=D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v --target vhdl-testbench --include-path D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16 --engine efsm-test-generator --overwrite-existing --loop-limit 25, cfg=<cfg>}

2016.10.08 11:55:17.476. INFO: Storing: cgaa

2016.10.08 11:55:17.476. INFO: Running: cgaa-efsm-transformer

2016.10.08 11:55:17.476. INFO: Options: {cgaa=<cgaa>, args=D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v --target vhdl-testbench --include-path D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16 --engine efsm-test-generator --overwrite-existing --loop-limit 25}

2016.10.08 11:55:17.476. INFO: Number of GADD paths: 3
2016.10.08 11:55:17.476. INFO: ======================================
2016.10.08 11:55:17.476. INFO: Clock-like variables: [clk].
2016.10.08 11:55:17.476. INFO: Transforming the process of module: data_mem.
2016.10.08 11:55:17.476. INFO: The state-like variables are: <none>.
2016.10.08 11:55:17.476. INFO: The number of model states: 1.
2016.10.08 11:55:17.476. INFO: The number of model transitions: 2.
2016.10.08 11:55:17.476. INFO: Clock-like variables: [].
2016.10.08 11:55:17.476. INFO: Transforming the process of module: data_mem.
2016.10.08 11:55:17.477. INFO: The state-like variables are: <none>.
2016.10.08 11:55:17.477. INFO: The number of model states: 1.
2016.10.08 11:55:17.477. INFO: The number of model transitions: 1.
2016.10.08 11:55:17.477. INFO: The number of extracted models: 2.
2016.10.08 11:55:17.477. INFO: Storing: efsm

2016.10.08 11:55:17.477. INFO: Running: efsm-test-generator

2016.10.08 11:55:17.477. INFO: Options: {efsm=<efsm>, args=D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16\data_mem.v --target vhdl-testbench --include-path D:\Bot\projects\retrascope.git\build\resources\test\opencores\mips16 --engine efsm-test-generator --overwrite-existing --loop-limit 25}

2016.10.08 11:55:17.477. INFO: EFSM.TestGenerator: module data_mem: starting test generation

java.lang.IllegalArgumentException
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38)
    at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:94)
    at ru.ispras.fortress.expression.NodeBinding.bindVariable(NodeBinding.java:202)
    at ru.ispras.retrascope.engine.basis.Simulator.substituteVariables(Simulator.java:201)
    at ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator.executeAssignment(ProcessSimulator.java:383)
    at ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator.executeAction(ProcessSimulator.java:280)
    at ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator.traverse(ProcessSimulator.java:182)
    at ru.ispras.retrascope.engine.efsm.simulator.ProcessSimulator.simulateVector(ProcessSimulator.java:466)
    at ru.ispras.retrascope.engine.efsm.simulator.ModuleSimulator.simulateVector(ModuleSimulator.java:125)
    at ru.ispras.retrascope.engine.efsm.generator.test.Generator.generateRandomly(Generator.java:222)
    at ru.ispras.retrascope.engine.efsm.generator.test.Generator.generateTest(Generator.java:123)
    at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:123)
    at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:43)
    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:209)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:417)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:369)
    at ru.ispras.retrascope.HdlTestUtils.runRetrascope(HdlTestUtils.java:335)
    at ru.ispras.retrascope.HdlTestUtils.runVerilog(HdlTestUtils.java:231)
    at ru.ispras.retrascope.HdlTestUtils.runVerilog(HdlTestUtils.java:200)
    at ru.ispras.retrascope.engine.test.printer.testbench.verilog.TestVerilogTestbenchPrinterVerilogTestCase.generate(TestVerilogTestbenchPrinterVerilogTestCase.java:61)
    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.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecuter.runTestClass(JUnitTestClassExecuter.java:105)
    at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecuter.execute(JUnitTestClassExecuter.java:56)
    at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassProcessor.processTestClass(JUnitTestClassProcessor.java:64)
    at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.processTestClass(SuiteTestClassProcessor.java:50)
    at sun.reflect.GeneratedMethodAccessor22.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:606)
    at org.gradle.messaging.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
    at org.gradle.messaging.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
    at org.gradle.messaging.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:32)
    at org.gradle.messaging.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:93)
    at com.sun.proxy.$Proxy2.processTestClass(Unknown Source)
    at org.gradle.api.internal.tasks.testing.worker.TestWorker.processTestClass(TestWorker.java:106)
    at sun.reflect.GeneratedMethodAccessor21.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke(Method.java:606)
    at org.gradle.messaging.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
    at org.gradle.messaging.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
    at org.gradle.messaging.remote.internal.hub.MessageHub$Handler.run(MessageHub.java:360)
    at org.gradle.internal.concurrent.ExecutorPolicy$CatchAndRecordFailures.onExecute(ExecutorPolicy.java:54)
    at org.gradle.internal.concurrent.StoppableExecutorImpl$1.run(StoppableExecutorImpl.java:40)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615)
    at java.lang.Thread.run(Thread.java:745)