Project

General

Profile

Actions

Bug #7278

closed

EMG deactivates all automatons at the same time

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

Status:
Closed
Priority:
Urgent
Assignee:
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

In the driver drivers/net/wireless/marvell/libertas/libertas.ko there are several structures, like netdev_ops, cfg80211_ops and device_attributes. After deregistering net device EMG deactivates all corresponding automatons. Also, it deactivates all structures in init, while it activates only two of them there.


Related issues 1 (0 open1 closed)

Related to Klever - Bug #7270: EMG incorretly models deregistrationClosedIlja Zakharov06/03/2016

Actions
Actions #1

Updated by Ilja Zakharov almost 8 years ago

  • Priority changed from Normal to Urgent

This is relevant to signal passing problem and can cause bug missing.

Actions #2

Updated by Ilja Zakharov almost 8 years ago

  • Status changed from New to Resolved

Solved in emg-improvements branch.

Actions #3

Updated by Evgeny Novikov almost 8 years ago

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

Also available in: Atom PDF