Actions
Bug #9521
closedNuSMV works too slow on ITC'99 b11 design
Start date:
03/11/2019
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Platform:
Published in build:
1.1.1-beta-190722
Description
The NuSMV model checker works too slow on 'b11.vhd' design from ITC'99 benchmark.
On Jenkins it takes more that a day for the Retrascope with the following parameters:
/srv/****/workspace/Retrascope_Weekly_Build/build/resources/test/itc99/b11/b11.vhd --target vhdl-testbench:efsm:gadd --module-name b11 --smv-file b11.smv --check-method ltl-bmc --state-vars STATO --engine hldd-property-smv-printer:smv-test-parser --overwrite-existing
To reproduce the problem, run ru.ispras.retrascope.engine.smv.SmvTestParserVhdlTestCase.
Updated by Mikhail Lebedev over 5 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Updated by Sergey Smolov over 5 years ago
- Status changed from Resolved to Verified
Updated by Sergey Smolov about 5 years ago
- Status changed from Verified to Closed
- Published in build set to 1.1.1-beta-190722
Actions