Actions
Bug #9205
closedTexas97PciNormHlddSmvPrinterTestCase: IllegalStateException
Start date:
08/10/2018
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Platform:
Published in build:
Description
java.lang.IllegalStateException: Parameter is not a constant integer value: 00000000000000000000000000000111
at ru.ispras.fortress.expression.NodeOperation.getParams(NodeOperation.java:266)
at ru.ispras.fortress.expression.NodeOperation.getDataType(NodeOperation.java:196)
at ru.ispras.fortress.expression.Node.isType(Node.java:177)
at ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter$Visitor.onOperationBegin(SmvExprPrinter.java:292)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:139)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
at ru.ispras.fortress.expression.printer.MapBasedPrinter.toString(MapBasedPrinter.java:307)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.getExprDescription(HlddSmvVisitor.java:140)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.onAssignment(HlddSmvVisitor.java:338)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:116)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:109)
at ru.ispras.retrascope.model.hldd.HlddWalker.visit(HlddWalker.java:82)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:101)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:109)
at ru.ispras.retrascope.model.hldd.HlddWalker.visit(HlddWalker.java:82)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:101)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitRoot(HlddWalker.java:67)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitHldd(HlddWalker.java:57)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitProcess(HlddWalker.java:46)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModule(ModelWalker.java:270)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModel(ModelWalker.java:242)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.start(ModelWalker.java:132)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter.start(HlddSmvPrinter.java:65)
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.hldd.printer.smv.sample.texas97.Texas97HlddSmvPrinterSingleTest.runTest(Texas97HlddSmvPrinterSingleTest.java:38)
Updated by Mikhail Lebedev over 5 years ago
The same exception in Texas97PciAbnormHlddSmvPrinterTestCase:
java.lang.IllegalStateException: Parameter is not a constant integer value: 00000000000000000000000000000111
at ru.ispras.fortress.expression.NodeOperation.getParams(NodeOperation.java:266)
at ru.ispras.fortress.expression.NodeOperation.getDataType(NodeOperation.java:196)
at ru.ispras.fortress.expression.Node.isType(Node.java:177)
at ru.ispras.retrascope.engine.hldd.printer.smv.utils.SmvExprPrinter$Visitor.onOperationBegin(SmvExprPrinter.java:292)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:139)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
at ru.ispras.fortress.expression.printer.MapBasedPrinter.toString(MapBasedPrinter.java:307)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.getExprDescription(HlddSmvVisitor.java:140)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvVisitor.onAssignment(HlddSmvVisitor.java:338)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:116)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:109)
at ru.ispras.retrascope.model.hldd.HlddWalker.visit(HlddWalker.java:82)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:101)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:109)
at ru.ispras.retrascope.model.hldd.HlddWalker.visit(HlddWalker.java:82)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitNode(HlddWalker.java:101)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitRoot(HlddWalker.java:67)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitHldd(HlddWalker.java:57)
at ru.ispras.retrascope.model.hldd.HlddWalker.visitProcess(HlddWalker.java:46)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModule(ModelWalker.java:270)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModel(ModelWalker.java:242)
at ru.ispras.retrascope.model.basis.walker.ModelWalker.start(ModelWalker.java:132)
at ru.ispras.retrascope.engine.hldd.printer.smv.HlddSmvPrinter.start(HlddSmvPrinter.java:65)
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.hldd.printer.smv.sample.texas97.Texas97HlddSmvPrinterSingleTest.runTest(Texas97HlddSmvPrinterSingleTest.java:38)
Updated by Mikhail Lebedev over 5 years ago
Caused by:(BVEXTRACT 00000000000000000000000000000111 00000000000000000000000000000111 m1.TaskReq)
Updated by Mikhail Lebedev over 5 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Now these tests pass.
Updated by Mikhail Lebedev over 5 years ago
- Status changed from Resolved to Verified
Updated by Mikhail Lebedev over 5 years ago
- Status changed from Verified to Closed
Actions