Project

General

Profile

Actions
Copy link

Bug #7276

closed

EMG skips some structures

Added by Pavel Andrianov almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
06/08/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
a43c34a

Description

EMG may not generate calls of handlers of a structure. In drivers/net/wireless/marvell/libertas/libertas.ko there are many device_attribute structures, but EMG generates calls only for one of them.

Actions
Copy link
 #1

Updated by Pavel Andrianov almost 8 years ago

Interesting thing is that the structure, for which EMG generates calls, is chosen randomly from all structures of the same type.

Actions
Copy link
 #2

Updated by Ilja Zakharov almost 8 years ago

  • Priority changed from Normal to Urgent

The problem is in instance generation for a process having several callback implementations.

Actions
Copy link
 #3

Updated by Ilja Zakharov almost 8 years ago

  • Status changed from New to Resolved

Published in emg-improvements.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from Resolved to Closed
  • Published in build set to a43c34a
Actions
Copy link

Also available in: Atom PDF