Task #9291
use nuXmv 1.1.1
Start date:
09/28/2018
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
1.1.1-beta-190722
History
Updated by Sergey Smolov about 1 year ago
Updated by - % Done changed from 0 to 100
- Status changed from New to Resolved
Done in 88e5394f
Updated by Sergey Smolov 5 months ago
- Published in build set to 1.1.1-beta-190722
- Status changed from Verified to Closed