Project

General

Profile

Actions

Feature #7432

closed

Allow to verify all rule specifications together by using multi-aspect verification

Added by Evgeny Novikov over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Requirement specifications
Target version:
-
Start date:
07/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

This is ongoing work that will lead to very-very considerable resource saving when many modules are verified against many rule specifications.


Related issues 2 (0 open2 closed)

Blocked by Klever - Feature #7392: Support groupping of rule specifications to be checked togetherClosedEvgeny Novikov06/24/201606/24/2016

Actions
Blocked by Klever - Bug #7175: Potential hang of KleverClosedEvgeny Novikov05/05/2016

Actions
Actions

Also available in: Atom PDF