Actions
Bug #9595
closedIllegalArgumentException in vis/Field/Field5.v
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
.
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)
Updated by Sergey Smolov about 5 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Fixed in Retrascope.
Updated by Mikhail Lebedev about 5 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 5 years ago
- Status changed from Verified to Closed
Actions