Project

General

Profile

Feature #8123

Introduce abstract verification objects generator

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/21/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Since we are going to move out from Linux kernel modules to other C programs it will be very good to have some basic verification objects generator which will provide common functions for domain specific verification object generators.


Related issues

Related to Klever - Feature #8173: Add support for abstract manual verification objects generationClosed2017-04-26

History

#1 Updated by Evgeny Novikov almost 2 years ago

  • Priority changed from High to Urgent

We actually do need to think about that ASAP.

#2 Updated by Evgeny Novikov over 1 year ago

  • Target version set to 2.0

#3 Updated by Evgeny Novikov 8 months ago

  • Assignee changed from Alexey Polushkin to Ilja Zakharov

#4 Updated by Ilja Zakharov 7 months ago

  • Status changed from New to Resolved

Implemented in klever-2.0.

#5 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