Project

General

Profile

Actions
Copy link

Task #6472

closed

b13.vhd: too long elaboration time

Added by Sergey Smolov over 8 years ago. Updated over 4 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
 #1

Updated by Sergey Smolov about 8 years ago

  • Target version changed from 0.1 to 0.2
Actions
Copy link
 #2

Updated by Sergey Smolov over 7 years ago

  • Detected in build changed from svn to master
Actions
Copy link
 #3

Updated by Sergey Smolov over 6 years ago

  • Target version changed from 0.2 to 1.0
Actions
Copy link
 #4

Updated by Mikhail Lebedev over 6 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100
Actions
Copy link
 #5

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 1.1.1-beta-190722
Actions
Copy link

Also available in: Atom PDF