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.
Updated by Evgeny Novikov about 7 years ago
- Priority changed from High to Urgent
- Target version set to 2.0
We do need this.
Updated by Evgeny Novikov over 6 years ago
- Assignee changed from Alexey Polushkin to Ilja Zakharov
Updated by Ilja Zakharov about 6 years ago
- Status changed from New to Resolved
Implemented in klever-2.0.
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