Feature #6608
closed
Generate abstract verification tasks in parallel
Added by Evgeny Novikov over 8 years ago.
Updated over 6 years ago.
Category:
*Abstract tasks generation
Description
This can considerably speed up the whole process of preparing tasks on the basis of jobs.
It is already implemented for verification tasks.
- Priority changed from Normal to High
- Priority changed from High to Urgent
This is the main bottleneck when we have a really huge computation power and many tasks.
- Assignee changed from Evgeny Novikov to Ilja Zakharov
- Target version set to 2.0
- Target version changed from 2.0 to 0.2
This considerable Core refactoring is always completed and it would be better to have it in master ASAP while Klever 1.0 will be devoted to great conceptual improvements.
- Status changed from New to Resolved
Implemented in the core-refactoring branch as a part of VTG and AVTG major refactoring.
I merged the branch to master in aec48ac1. To specify the number of generator workers one should use the same parameter as was used before for parallel generation of verification tasks.
- Status changed from Resolved to Closed
Also available in: Atom
PDF