Project

General

Profile

Actions

Feature #8087

closed

Add an ability to generate verification objects by specifying a list of functions to be defined

Added by Evgeny Novikov almost 7 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
04/18/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Quite often users would like to specify not modules which define missed functions but functions themselves. LKVOG should find corresponding modules and generate a verification object with their correct order of load.

Actions #1

Updated by Ilja Zakharov almost 7 years ago

  • Assignee set to Alexey Polushkin
Actions #2

Updated by Evgeny Novikov over 6 years ago

  • Priority changed from High to Urgent
  • Target version set to 2.0

It seems that something was already done, but let's rebase this on top of abstract program fragments generator.

Actions #3

Updated by Evgeny Novikov over 5 years ago

  • Assignee changed from Alexey Polushkin to Ilja Zakharov
Actions #4

Updated by Ilja Zakharov over 5 years ago

  • Status changed from New to Resolved

If this is relevant to Manual strategy then it is done. If not then it is not clear what else should contain such verification object.

Actions #5

Updated by Evgeny Novikov over 5 years ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Actions

Also available in: Atom PDF