Added by Mikhail Lebedev about 5 years ago. Updated about 5 years ago.
100%
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.
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)
Fixed in Retrascope.