Project

General

Profile

Actions

Bug #8759

closed

LKVOG filters out some modules even when there are explicitly set by a user

Added by Ilja Zakharov over 6 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
03/16/2018
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

For instance, LKVOG builds but filter outs all verification objects with such modules as net/bluetooth/bluetooth.ko. This is the main module of the subsystem and even when it is given by a user in "manual" strategy as a part of a group of modules, LKVOG does not generate required verification objects.

The issue should be studied more precisely and the fact that a user cannot add it using manual strategy should be definitely solved.

Actions #1

Updated by Evgeny Novikov over 6 years ago

  • Target version set to 2.0

2.0 will include many changes to LKVOG, let's fix this issue there as well.

Actions #2

Updated by Evgeny Novikov over 6 years ago

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

Updated by Ilja Zakharov about 6 years ago

  • Status changed from New to Resolved

This is impossible by design now. The only issue when it is possible if a target fragment is not built at all.

Actions #4

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

Also available in: Atom PDF