Project

General

Profile

Actions
Copy link

Feature #8087

closed

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

Added by Evgeny Novikov over 7 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Program fragments generation
Target version:
2.0
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
Copy link
 #1

Updated by Ilja Zakharov over 7 years ago

  • Assignee set to Alexey Polushkin
Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 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
Copy link
 #3

Updated by Evgeny Novikov over 6 years ago

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

Updated by Ilja Zakharov about 6 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
Copy link
 #5

Updated by Evgeny Novikov about 6 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
Copy link

Also available in: Atom PDF