Retrascope

.\build\resources\test\minimips\pps_pf.vhd --target vhdl-testbench --toplevel pps_pf --overwrite-existing --engine cfg-random-test-generator --test-len 10 --clk-name CLOCK --rst-name RESET --input-values }

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.retrascope.model.basis.DeclarationUtils.getInvariant(DeclarationUtils.java:59)
at ru.ispras.retrascope.model.basis.DeclarationContainer.getInvariant(DeclarationContainer.java:308)
at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.getRandomValue(CfgRandomTestGenerator.java:449)
at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.addRandomTestVector(CfgRandomTestGenerator.java:421)
at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.start(CfgRandomTestGenerator.java:247)
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.engine.cfg.generator.test.random.CfgRandomTestGeneratorVhdlTestCase.runTest(CfgRandomTestGeneratorVhdlTestCase.java:55)
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)