Bug #9204: Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException - Retrascope Test Suite - Open-Source Projects

Actions

Copy link

Bug #9204

closed

Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException

Added by Mikhail Lebedev over 5 years ago. Updated over 5 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Sergey Smolov

Category:

Start date:

08/10/2018

Due date:

% Done:

100%

Estimated time:

Detected in build:

master

Platform:

Published in build:

Description

WARNING: null

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:95)
    at ru.ispras.fortress.expression.NodeOperation.<init>(NodeOperation.java:117)
    at ru.ispras.fortress.expression.NodeOperation.<init>(NodeOperation.java:105)
    at ru.ispras.fortress.expression.NodeOperation.<init>(NodeOperation.java:86)
    at ru.ispras.fortress.transformer.ConstCastRuleSet$CastConstRule.apply(ConstCastRuleSet.java:88)
    at ru.ispras.fortress.transformer.NodeTransformer.applyRule(NodeTransformer.java:169)
    at ru.ispras.fortress.transformer.NodeTransformer.onOperationEnd(NodeTransformer.java:229)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:173)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
    at ru.ispras.fortress.transformer.NodeTransformer.walk(NodeTransformer.java:54)
    at ru.ispras.fortress.transformer.TypeConversion.castConstants(TypeConversion.java:76)
    at ru.ispras.fortress.transformer.TypeConversion.castConstants(TypeConversion.java:91)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgProcessBuilder.getRhsValue(VerilogCfgProcessBuilder.java:394)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgProcessBuilder.getSingleAssignment(VerilogCfgProcessBuilder.java:387)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgProcessBuilder.createAssignment(VerilogCfgProcessBuilder.java:280)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgProcessBuilder.parseAssignment(VerilogCfgProcessBuilder.java:471)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgProcessBuilder.onAssignStatementBegin(VerilogCfgProcessBuilder.java:616)
    at ru.ispras.verilog.parser.walker.VerilogNodeVisitor$3.onBegin(VerilogNodeVisitor.java:265)
    at ru.ispras.verilog.parser.walker.VerilogNodeVisitor.onBegin(VerilogNodeVisitor.java:700)
    at ru.ispras.verilog.parser.core.TreeWalker.onBegin(TreeWalker.java:102)
    at ru.ispras.verilog.parser.core.TreeWalker.start(TreeWalker.java:81)
    at ru.ispras.retrascope.parser.verilog.VerilogCfgBuilder.start(VerilogCfgBuilder.java:87)
    at ru.ispras.verilog.parser.VerilogDesignBackends.start(VerilogDesignBackends.java:56)
    at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:169)
    at ru.ispras.retrascope.parser.verilog.VerilogParser.parse(VerilogParser.java:103)
    at ru.ispras.retrascope.parser.basis.HdlParser.start(HdlParser.java:112)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:217)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:215)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:456)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:373)
    at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:81)
    at ru.ispras.retrascope.basis.SingleTest.runTest(SingleTest.java:99)
    at ru.ispras.retrascope.engine.cfg.printer.graphml.sample.texas97.Texas97CfgGraphMlSingleTest.runTest(Texas97CfgGraphMlSingleTest.java:44)