Actions
Feature #9350
openUpdate validation tasks that require function pointer analysis
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.
Updated by Ilja Zakharov over 6 years ago
- Related to Feature #6822: Support for workqueues in EMG added
Updated by Evgeny Novikov about 6 years ago
- Priority changed from Urgent to High
- Target version deleted (
3.0)
Let's do this later.
Actions