Bug #9595: IllegalArgumentException in vis/Field/Field5.v - Retrascope Test Suite - Open-Source Projects

Actions

Copy link

Bug #9595

closed

IllegalArgumentException in vis/Field/Field5.v

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

Status:

Closed

Priority:

Normal

Assignee:

Sergey Smolov

Category:

Retrascope

Start date:

04/12/2019

Due date:

% Done:

100%

Estimated time:

Detected in build:

master

Platform:

Published in build:

Description

IllegalArgumentException detected in VIS field5.v benchmark module:

Invalid key type: expected (BIT_VECTOR 32), got (BIT_VECTOR 5)
java.lang.IllegalArgumentException: Invalid key type: expected (BIT_VECTOR 32), got (BIT_VECTOR 5)

See VisFieldHlddSmvFormulaPrinterTestCase.

Actions

Copy link

Updated by Mikhail Lebedev about 5 years ago

Invalid key type: expected (BIT_VECTOR 32), got (BIT_VECTOR 5)
java.lang.IllegalArgumentException: Invalid key type: expected (BIT_VECTOR 32), got (BIT_VECTOR 5)
    at ru.ispras.fortress.data.types.datamap.DataMap.put(DataMap.java:110)
    at ru.ispras.retrascope.parser.basis.backend.CfgInitialProcessBackend.onModuleBegin(CfgInitialProcessBackend.java:106)
    at ru.ispras.retrascope.model.basis.walker.ModelWalker.visitModule(ModelWalker.java:258)
    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.cfg.CfgVisitorBackend.start(CfgVisitorBackend.java:99)
    at ru.ispras.retrascope.basis.Engine.runBackEnds(Engine.java:478)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:334)
    at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:332)
    at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:222)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:463)
    at ru.ispras.retrascope.Retrascope.main(Retrascope.java:380)
    at ru.ispras.retrascope.util.ToolTest.runTest(ToolTest.java:113)
    at ru.ispras.retrascope.basis.SingleTest.runTest(SingleTest.java:90)
    at ru.ispras.retrascope.engine.hldd.printer.smv.formula.sample.vis.VisHlddSmvFormulaPrinterSingleTest.runTest(VisHlddSmvFormulaPrinterSingleTest.java:33)

Actions

Copy link