Project

General

Profile

Actions
Copy link

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 open — 1 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
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Rejected

This will be included into #7306.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

  • Assignee deleted (Alexey Polushkin)
Actions
Copy link

Also available in: Atom PDF