Project

General

Profile

Feature #8173

Add support for abstract manual verification objects generation

Added by Evgeny Novikov almost 2 years ago. Updated 5 months ago.

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.


Related issues

Related to Klever - Feature #8123: Introduce abstract verification objects generatorClosed2017-04-21

History

#1 Updated by Evgeny Novikov over 1 year ago

  • Priority changed from High to Urgent
  • Target version set to 2.0

We do need this.

#2 Updated by Evgeny Novikov 8 months ago

  • Assignee changed from Alexey Polushkin to Ilja Zakharov

#3 Updated by Ilja Zakharov 7 months ago

  • Status changed from New to Resolved

Implemented in klever-2.0.

#4 Updated by Evgeny Novikov 5 months 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.

Also available in: Atom PDF