Project

General

Profile

Feature #8255

Move model files to correct dir

Added by Alexey Polushkin over 3 years ago. Updated almost 3 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

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

Actions

History

#1

Updated by Evgeny Novikov over 3 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.

#2

Updated by Evgeny Novikov about 3 years ago

  • Tracker changed from Bug to Feature

This looks more like a feature request.

#3

Updated by Evgeny Novikov about 3 years ago

  • Target version set to 0.2
#4

Updated by Evgeny Novikov almost 3 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.

Also available in: Atom PDF