Project

General

Profile

Actions

Feature #8173

closed

Add support for abstract manual verification objects generation

Added by Evgeny Novikov almost 7 years ago. Updated over 5 years 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 1 (0 open1 closed)

Related to Klever - Feature #8123: Introduce abstract verification objects generatorClosedIlja Zakharov04/21/2017

Actions
Actions #1

Updated by Evgeny Novikov over 6 years ago

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

We do need this.

Actions #2

Updated by Evgeny Novikov over 5 years ago

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

Updated by Ilja Zakharov over 5 years ago

  • Status changed from New to Resolved

Implemented in klever-2.0.

Actions #4

Updated by Evgeny Novikov over 5 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