Project

General

Profile

Feature #9350

Update validation tasks that require function pointer analysis

Added by Ilja Zakharov over 1 year ago. Updated about 1 year ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Preset jobs, marks and tags
Target version:
-
Start date:
10/26/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

These tasks mostly required EMG models for timers and workqueues but as now we have these models one need to either set correct reasons for each why it cannot be verified or provide proper configuration of the verification tool with activated function pointer analysis.


Related issues

Related to Klever - Feature #6822: Support for workqueues in EMGClosed02/08/2016

Actions

History

#1

Updated by Ilja Zakharov over 1 year ago

#2

Updated by Evgeny Novikov about 1 year ago

  • Target version deleted (3.0)
  • Priority changed from Urgent to High

Let's do this later.

Also available in: Atom PDF