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

Also available in: Atom PDF