Actions
Feature #8220
closedBV_INC6 VHDL function support
Start date:
05/26/2017
Due date:
% Done:
100%
Estimated time:
Published in build:
1.0.1-beta-170912
Description
Run for testing the following:
args=/home/ssedai/projects/retrascope.git/build/resources/test/plasma/mlite_cpu.vhd --target vhdl-testbench --toplevel mlite_cpu --overwrite-existing --engine cfg-random-test-generator --test-len 10 --clk-name CLK --rst-name RESET_IN
The following error log is produced:
BV_INC6(A => COUNT_REG) java.lang.UnsupportedOperationException: BV_INC6(A => COUNT_REG) at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.visitSubprogram(IgOperationVisitor.java:617) at org.zamia.instgraph.IGDefaultOperationVisitor.visitOperation(IGDefaultOperationVisitor.java:28) at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.visitOperation(IgOperationVisitor.java:138) at ru.ispras.retrascope.parser.vhdl.IgOperationVisitor.getNode(IgOperationVisitor.java:750) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.getOperationNode(IgStructureVisitor.java:555) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitAssignment(IgStructureVisitor.java:551) at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:57) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376) at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:54) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.getSubGraph(IgStructureVisitor.java:584) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitIf(IgStructureVisitor.java:473) at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:63) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376) at org.zamia.instgraph.IGDefaultSequentialStatementVisitor.visit(IGDefaultSequentialStatementVisitor.java:54) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:376) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitProcess(IgStructureVisitor.java:235) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:366) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visitInstantiation(IgStructureVisitor.java:259) at ru.ispras.retrascope.parser.vhdl.IgStructureVisitor.visit(IgStructureVisitor.java:364) at org.zamia.instgraph.IGModule.accept(IGModule.java:101) at ru.ispras.retrascope.parser.vhdl.VhdlParser.parse(VhdlParser.java:165) at ru.ispras.retrascope.parser.basis.HdlParser.start(HdlParser.java:86) 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)
Actions