Project

General

Profile

Actions

Feature #8255

closed

Move model files to correct dir

Added by Alexey Polushkin almost 7 years ago. Updated over 6 years ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
-
Target version:
Start date:
06/22/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Now, model files such as linux/err.c are located in 'linux' dir. That is wrong. We need to move them into correct directory.


Related issues 1 (0 open1 closed)

Related to Klever - Feature #6737: Get coverage from static verifiers if corresponding option is setClosedAlexey Polushkin02/03/2016

Actions
Actions #1

Updated by Evgeny Novikov almost 7 years ago

  • Assignee set to Evgeny Novikov
  • Priority changed from High to Urgent

I hope that I will have enough time to fix this together with other refactorings of rule specifications. But it doesn't touch just rule specifications. Now parts of environment model specifications are also located within directory linux although nothing references them directly.

Actions #2

Updated by Evgeny Novikov over 6 years ago

  • Tracker changed from Bug to Feature

This looks more like a feature request.

Actions #3

Updated by Evgeny Novikov over 6 years ago

  • Target version set to 0.2
Actions #4

Updated by Evgeny Novikov over 6 years ago

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

It looks like nobody needs this actually. The coverage parser uses straightforward filters to distinguish original source files from (generated) specifications.

Actions

Also available in: Atom PDF