Feature #10486: Develop environment model specification for inode_operations - Klever - Open-Source Projects

Actions

Copy link

Feature #10486

closed

Feature #10484: Improve and develop filesystem environment model specifications

Develop environment model specification for inode_operations

Added by Evgeny Novikov over 4 years ago. Updated over 3 years ago.

Status:

Closed

Priority:

High

Assignee:

Ilja Zakharov

Category:

Environment models

Target version:

3.3

Start date:

08/31/2020

Due date:

% Done:

Estimated time:

Published in build:

Related issues 1 (0 open — 1 closed)

Actions

Copy link

Updated by Evgeny Novikov over 3 years ago

Assignee changed from Evgeny Novikov to Ilja Zakharov
Target version set to 3.2

Actions

Copy link

Updated by Ilja Zakharov over 3 years ago

Status changed from New to Resolved

Implemented in env-inode-models.

Actions

Copy link

Updated by Evgeny Novikov over 3 years ago

Status changed from Resolved to Open

Are there appropriate test cases? I suggest to add at least some trivial ones to ensure some basic functionality. Maybe you will need to fix specifications after adding test cases.

Actions

Copy link

Updated by Evgeny Novikov over 3 years ago

Target version changed from 3.2 to 3.3

We decided to make it well a bit later.

Actions

Copy link

Updated by Ilja Zakharov over 3 years ago

Status changed from Open to Resolved

Implemented in env-inode-models.

Actions

Copy link

Updated by Evgeny Novikov over 3 years ago

Status changed from Resolved to Open

CI revealed some issues on the old validation set. Indeed, structure "dentry" changed, e.g. in Linux 3.10, Linux 3.14 and Linux 3.16 there was not field "d_u.d_alias" initialized by the model, but then it appears. I tried to bypass that, but it turned out to be not so easy.

Actions

Copy link