Project

General

Profile

Feature #7309

Describe how to specify target modules to be verified

Added by Evgeny Novikov over 3 years ago. Updated almost 3 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

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

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

Actions

History

#1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Rejected

This will be included into #7306.

#2

Updated by Evgeny Novikov almost 3 years ago

  • Assignee deleted (Alexey Polushkin)

Also available in: Atom PDF