Project

General

Profile

Feature #10852

Support parallel execution of Weaver

Added by Evgeny Novikov 3 days ago.

Status:
New
Priority:
High
Category:
Tasks generation
Target version:
Start date:
06/10/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Weaver instruments original source files and models sequentially that is pretty well for the production mode and when there are many verification tasks that are generated and solved in parallel. In the development mode or when there is the only verification task this is very inefficient. Indeed, Weaver can consume most of wall time at least for generation of verification tasks. It would be great to support parallel execution of Weaver and to have a separate option that will allow to specify the number of parallel workers for Weaver when starting a verification job decision.

No data to display

Also available in: Atom PDF