Project

General

Profile

Actions
Copy link

Bug #7870

closed

Rule specification hooks for usb_register() and register_netdev() do not work

Added by Evgeny Novikov almost 8 years ago. Updated over 6 years ago.

Status:
Rejected
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
01/19/2017
Due date:
% Done:

0%

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

Description

Because of this I got Safe for unsafe tests tests/linux/usb/register/ext-modules/register.ko/linux:usb:register and tests/linux/net/register/ext-modules/netdev2.ko/linux:net:register. Unlike #7869 this will result in no bugs will be found for corresponding rule specifications since they don't check for registration-deregistration pairing but just that registration failures are processed properly.

Related issues 2 (2 open — 0 closed)

Related to Klever - Bug #7869: Add rule specification hook for register_chrdev()NewEvgeny Novikov01/19/2017

Actions
Is duplicate of Klever - Feature #9244: Refactor models and rule specifications related both with EMG and requirementsNewEvgeny Novikov08/22/2018

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

  • Assignee set to Evgeny Novikov

I'll take care about this.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 years ago

  • Priority changed from Urgent to High

Let's fix and improve specifications after we will have good tests and a testing infrastructure (version:0.3) and likely after we will complete a considerable refactoring of Core (1.0).

Actions
Copy link
 #3

Updated by Evgeny Novikov over 6 years ago

  • Is duplicate of Feature #9244: Refactor models and rule specifications related both with EMG and requirements added
Actions
Copy link
 #4

Updated by Evgeny Novikov over 6 years ago

  • Status changed from New to Rejected
  • Assignee deleted (Evgeny Novikov)

This is included within more generic issue #9244.

Actions
Copy link

Also available in: Atom PDF