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.
Actions