Project

General

Profile

Actions

Feature #7309

closed

Describe how to specify target modules to be verified

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

Status:
Rejected
Priority:
High
Assignee:
-
Category:
Documentation
Target version:
-
Start date:
06/20/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Implementation of multimodule analysis (#6697) in particular brought us with a new understanding how target modules to be verified can and should be specified. Now just corresponding description isn't well known.


Related issues 2 (1 open1 closed)

Related to Klever - Feature #7307: Support help pagesNewVladimir Gratinskiy06/20/2016

Actions
Related to Klever - Feature #7306: Describe verification objects generation strategies and their options ClosedAlexey Polushkin06/20/2016

Actions
Actions

Also available in: Atom PDF