Actions
Bug #6425
closedb12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException
Start date:
11/12/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
0.2.1
Description
The HlddXmvPrinter engine crashes on b05.vhd VHDL design with the following error log:
2015.11.12 13:47:51.802. INFO: Options: {hldd=<hldd>, args=/home/ssedai/projects/retrascope.svn/build/resources/test/itc99-poli2/b12/b12.vhd --target hldd-xmv --toplevel b12 --output-file b12.smv, assertion=<assertion>} java.lang.NullPointerException at ru.ispras.retrascope.engine.hldd.printer.xmv.XmvExprPrinter.getConstant(XmvExprPrinter.java:330) at ru.ispras.retrascope.engine.hldd.printer.xmv.XmvPrinterUtils.printMaps(XmvPrinterUtils.java:395) at ru.ispras.retrascope.engine.hldd.printer.xmv.HlddXmvVisitor.onProcessEnd(HlddXmvVisitor.java:378) at ru.ispras.retrascope.model.hldd.HlddWalker.visitProcess(HlddWalker.java:96) at ru.ispras.retrascope.model.hldd.HlddWalker.visitModule(HlddWalker.java:81) at ru.ispras.retrascope.model.hldd.HlddWalker.start(HlddWalker.java:68) at ru.ispras.retrascope.engine.hldd.printer.xmv.HlddXmvPrinter.start(HlddXmvPrinter.java:89) at ru.ispras.retrascope.basis.Engine.start(Engine.java:217) at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:110) at ru.ispras.retrascope.basis.Engine.start(Engine.java:217) at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:204) at ru.ispras.retrascope.Retrascope.main(Retrascope.java:380) at ru.ispras.retrascope.Retrascope.main(Retrascope.java:400)
Updated by Sergey Smolov about 9 years ago
- Subject changed from b.12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException to b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException
Updated by Mikhail Lebedev about 9 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Fixed, but NuXMV can't compile this design yet.
rev.2610
Updated by Sergey Smolov over 8 years ago
- Status changed from Resolved to Closed
- Published in build set to 0.2.1
Actions