Actions
Bug #9482
closedru.ispras.retrascope.sample.VexRiscvVexRiscvGaddTestCase: ERROR: Wrong number of out edges for 'ru.ispras.retrascope.model.cfg.CfgBlockStatement@c219bf5': 2
Start date:
02/07/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Platform:
Published in build:
Description
2019.02.07 16:11:06.524. INFO: Retrascope is starting 2019.02.07 16:11:06.524. INFO: Running: verilog-parser 2019.02.07 16:11:06.525. INFO: Options: {args=L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v --include-path L:\work\retrascope-riscv\src\main\verilog\VexRiscv --disable-backends ranged_switch --target gadd --module-name VexRiscv, v=[L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v]} 2019.02.07 16:11:10.710. INFO: Storing: cfg 2019.02.07 16:11:10.710. INFO: Running: cfg-gadd-transformer 2019.02.07 16:11:10.710. INFO: Options: {args=L:\work\retrascope-riscv\src\main\verilog\VexRiscv\VexRiscv.v --include-path L:\work\retrascope-riscv\src\main\verilog\VexRiscv --disable-backends ranged_switch --target gadd --module-name VexRiscv, cfg=<cfg>} 2019.02.07 16:11:12.633. ERROR: Wrong number of out edges for 'ru.ispras.retrascope.model.cfg.CfgBlockStatement@c219bf5': 2 2019.02.07 16:11:12.633. ERROR: The edge destinations are: 2019.02.07 16:11:12.633. ERROR: ru.ispras.retrascope.model.cfg.CfgBlockStatement@f33fe7f 2019.02.07 16:11:12.633. ERROR: ru.ispras.retrascope.model.cfg.CfgSwitchStatement@d6ca7d0 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.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.applyToProcess(CfgGaddTransformerBuilder.java:185) at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.buildModule(CfgGaddTransformerBuilder.java:113) at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformerBuilder.build(CfgGaddTransformerBuilder.java:95) at ru.ispras.retrascope.engine.cfg.transformer.gadd.CfgGaddTransformer.start(CfgGaddTransformer.java:91) at ru.ispras.retrascope.basis.Engine.start(Engine.java:361) at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111) at ru.ispras.retrascope.basis.Engine.start(Engine.java:361) at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:220) at ru.ispras.retrascope.Retrascope.main(Retrascope.java:461) at ru.ispras.retrascope.Retrascope.main(Retrascope.java:378) at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:113) at ru.ispras.retrascope.BaseTest.runTest(BaseTest.java:79) at ru.ispras.retrascope.sample.VexRiscvVexRiscvGaddTestCase.runTest(VexRiscvVexRiscvGaddTestCase.java:43)
Actions