Project

General

Profile

Actions

Feature #11839

closed

Get rid of implicit resources

Added by Evgeny Novikov over 1 year ago. Updated over 1 year ago.

Status:
Closed
Priority:
High
Category:
Environment models
Target version:
Start date:
08/23/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

There are just 2 environment model specifications that implicitly refer resources in the following manner:

"resource": {
    "resource": true
}

It seems to confuse EMG in some cases when allocating memory for corresponding actual resources and passing them to callbacks. Let's to refer all resources explicitly.


Related issues 1 (1 open0 closed)

Blocks Klever - Feature #11810: Check whether the same resources are passed to various related callbacksNewEvgeny Novikov08/09/2022

Actions
Actions #1

Updated by Evgeny Novikov over 1 year ago

  • Blocks Feature #11810: Check whether the same resources are passed to various related callbacks added
Actions #2

Updated by Evgeny Novikov over 1 year ago

  • Status changed from New to Resolved

I fixed the issue in branch get-rid-of-implicit-resources that is tested right now.

Actions #3

Updated by Evgeny Novikov over 1 year ago

  • Status changed from Resolved to Closed

CI passed tests without any regressions while verification of a subset of Linux kernel drivers demonstrated some changes. First of all, 6 of 8 failures of EMG have gone, so now 6 more drivers are verified. Besides, it seems that now the verification tool can reveal better some other drawbacks of appropriate environment model specifications, namely, usb_serial. I merged the branch to master in e48156110.

Actions

Also available in: Atom PDF