Project

General

Profile

Actions
Copy link

Task #6472

closed

b13.vhd: too long elaboration time

Added by Sergey Smolov over 8 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Mikhail Lebedev
Category:
Engine (Printer)
Target version:
1.0
Start date:
12/03/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Published in build:
1.1.1-beta-190722

Description

It takes more than 24 hours from SMV model checker at Jenkins server to complete HlddXmvPrinterTestCase.
The problem is in b13.vhd file.
It would be useful to analyze the generated SMV file and try to determine the part which is so time-consuming for model checker.

Actions
Copy link

Also available in: Atom PDF