Project

General

Profile

Actions

Feature #8123

closed

Introduce abstract verification objects generator

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

Related to Klever - Feature #8173: Add support for abstract manual verification objects generationClosedIlja Zakharov04/26/2017

Actions
Actions

Also available in: Atom PDF