Project

General

Profile

Actions

Feature #10486

closed

Feature #10484: Improve and develop filesystem environment model specifications

Develop environment model specification for inode_operations

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

Status:
Closed
Priority:
High
Assignee:
Category:
Environment models
Target version:
Start date:
08/31/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Related issues 1 (0 open1 closed)

Blocks Klever - Bug #10930: Fix memory allocation via $ALLOC in EMG specificationsClosedIlja Zakharov09/09/2021

Actions
Actions #1

Updated by Evgeny Novikov almost 3 years ago

  • Assignee changed from Evgeny Novikov to Ilja Zakharov
  • Target version set to 3.2
Actions #2

Updated by Ilja Zakharov almost 3 years ago

  • Status changed from New to Resolved

Implemented in env-inode-models.

Actions #3

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

Updated by Evgeny Novikov over 2 years ago

  • Target version changed from 3.2 to 3.3

We decided to make it well a bit later.

Actions #5

Updated by Ilja Zakharov over 2 years ago

  • Status changed from Open to Resolved

Implemented in env-inode-models.

Actions #6

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

Updated by Evgeny Novikov over 2 years ago

  • Blocks Bug #10930: Fix memory allocation via $ALLOC in EMG specifications added
Actions #8

Updated by Ilja Zakharov over 2 years ago

  • Status changed from Open to Resolved

Implemented missing models for Linux 2.6.33.

Actions #9

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Great! Tests passed, so, I merged the branch to master in cefe136a6.

Actions

Also available in: Atom PDF