Project

General

Profile

Bug #6425

b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException

Added by Sergey Smolov about 4 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Normal
Category:
Engine (Printer)
Target version:
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)

History

#1

Updated by Sergey Smolov about 4 years ago

  • Subject changed from b.12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException to b12.vhd: XmvExprPrinter.getConstant(XmvExprPrinter.java:330) -> NullPointerException
#2

Updated by Mikhail Lebedev almost 4 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

#3

Updated by Sergey Smolov over 3 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 0.2.1

Also available in: Atom PDF