Retrascope

2016.04.28 16:15:32.469. INFO: Retrascope is starting
2016.04.28 16:15:32.475. INFO: Running: vhdl-parser

2016.04.28 16:15:32.476. INFO: Options: {args=./src/test/vhdl/itc99/b10/b10.vhd --target vhdl-testbench --overwrite-existing --engine cfg-random-test-generator --test-len 1000000 --clk-name CLOCK --rst-name RESET, vhd=[./src/test/vhdl/itc99/b10/b10.vhd]}

2016.04.28 16:15:33.988. INFO: Storing: cfg

2016.04.28 16:15:33.988. INFO: Running: cfg-cfginterface-extractor

2016.04.28 16:15:33.988. INFO: Options: {args=./src/test/vhdl/itc99/b10/b10.vhd --target vhdl-testbench --overwrite-existing --engine cfg-random-test-generator --test-len 1000000 --clk-name CLOCK --rst-name RESET, cfg=<cfg>}

2016.04.28 16:15:33.989. INFO: Storing: cfg-iface

2016.04.28 16:15:33.989. INFO: Running: cfg-random-test-generator

2016.04.28 16:15:33.989. INFO: Options: {cfg-iface=<cfg-iface>, args=./src/test/vhdl/itc99/b10/b10.vhd --target vhdl-testbench --overwrite-existing --engine cfg-random-test-generator --test-len 1000000 --clk-name CLOCK --rst-name RESET}

Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
    at java.lang.String.toCharArray(String.java:2746)
    at java.util.Formatter$Flags.parse(Formatter.java:4181)
    at java.util.Formatter$FormatSpecifier.flags(Formatter.java:2595)
    at java.util.Formatter$FormatSpecifier.<init>(Formatter.java:2664)
    at java.util.Formatter.parse(Formatter.java:2528)
    at java.util.Formatter.format(Formatter.java:2469)
    at java.util.Formatter.format(Formatter.java:2423)
    at java.lang.String.format(String.java:2790)
    at ru.ispras.fortress.data.DataTypeId$1.format(DataTypeId.java:59)
    at ru.ispras.fortress.data.DataType.newDataType(DataType.java:115)
    at ru.ispras.fortress.data.DataType.newDataType(DataType.java:92)
    at ru.ispras.fortress.data.DataType.BIT_VECTOR(DataType.java:76)
    at ru.ispras.fortress.data.Data.newBitVector(Data.java:184)
    at ru.ispras.fortress.expression.NodeValue.newBitVector(NodeValue.java:78)
    at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.getRandomValue(CfgRandomTestGenerator.java:409)
    at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.addRandomTestVector(CfgRandomTestGenerator.java:377)
    at ru.ispras.retrascope.engine.cfg.generator.test.random.CfgRandomTestGenerator.start(CfgRandomTestGenerator.java:205)
    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:207)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:414)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:367)
    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)

Process finished with exit code 1