Project

General

Profile

Actions

Feature #7306

closed

Describe verification objects generation strategies and their options

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

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

0%

Estimated time:
Published in build:

Description

To prepare verification jobs using Bridge (the primary use case) users need to understand differences between various verification objects generation strategies and how their options affect generated verification objects by reading appropriate help pages. Since these pages can be quite large, they shouldn't be inlined.

Here just one or several HTML pages are assumed. These pages can be attached directly here so everybody will be able to review them prior to including in Bridge.


Related issues 2 (1 open1 closed)

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

Actions
Related to Klever - Feature #7309: Describe how to specify target modules to be verifiedRejected06/20/2016

Actions
Actions

Also available in: Atom PDF