Feature #7432
closedAllow to verify all rule specifications together by using multi-aspect verification
0%
Description
This is ongoing work that will lead to very-very considerable resource saving when many modules are verified against many rule specifications.
Updated by Evgeny Novikov over 8 years ago
In addition I suggest to move a common aspect path from a job description to to a rule specifications base. Anyway there is very pure means to change anything in rule specifications through job descriptions.
Updated by Vitaly Mordan over 8 years ago
Common aspect should be choosed automatically between MAV and MPV.
Updated by Evgeny Novikov over 8 years ago
Vitaly Mordan wrote:
Common aspect should be choosed automatically between MAV and MPV.
This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.
Updated by Vitaly Mordan over 8 years ago
Evgeny Novikov wrote:
Vitaly Mordan wrote:
Common aspect should be choosed automatically between MAV and MPV.
This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.
Then what this issue is about?
MAV was implemented in master long ago.
Updated by Evgeny Novikov over 8 years ago
Vitaly Mordan wrote:
Evgeny Novikov wrote:
Vitaly Mordan wrote:
Common aspect should be choosed automatically between MAV and MPV.
This feature request topic explicitly specifies that it is just for multi-aspect verification. Please, consider other issues separately to avoid unnecessary delays in implementing the primary ones.
Then what this issue is about?
MAV was implemented in master long ago.
But the blocking issue (#7392) isn't implemented and tested still. Without it using MAV is impossible in real production where nobody will specify some groups of rules to be checked together.
Updated by Evgeny Novikov over 8 years ago
- Status changed from Open to Closed
Let's believe that everything works fine.