Project

General

Profile

Actions
Copy link

Feature #8255

closed

Move model files to correct dir

Added by Alexey Polushkin over 7 years ago. Updated about 7 years ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
-
Target version:
0.2
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 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 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
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

  • Tracker changed from Bug to Feature

This looks more like a feature request.

Actions
Copy link
 #3

Updated by Evgeny Novikov about 7 years ago

  • Target version set to 0.2
Actions
Copy link
 #4

Updated by Evgeny Novikov about 7 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
Copy link

Also available in: Atom PDF