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 about 6 years ago. Updated over 5 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

Also available in: Atom PDF