Project

General

Profile

Feature #8087

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

Added by Evgeny Novikov over 2 years ago. Updated 10 months 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.

History

#1

Updated by Ilja Zakharov about 2 years ago

  • Assignee set to Alexey Polushkin
#2

Updated by Evgeny Novikov almost 2 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.

#3

Updated by Evgeny Novikov about 1 year ago

  • Assignee changed from Alexey Polushkin to Ilja Zakharov
#4

Updated by Ilja Zakharov 12 months 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.

#5

Updated by Evgeny Novikov 10 months 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.

Also available in: Atom PDF