Actions
Feature #8173
closedAdd support for abstract manual verification objects generation
Status:
Closed
Priority:
Urgent
Assignee:
Category:
Program fragments generation
Target version:
Start date:
04/26/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
There is already a strategy that allows users to specify Linux kernel modules to be verified together. It does have sense to support an abstract manual verification objects generation when users will say in configuration what object files should be verified together. I suggest that such the strategy will be quite easy to develop after an abstract verification objects generation will be available.
Actions