Project

General

Profile

Actions
Copy link

Feature #11839

closed

Get rid of implicit resources

Added by Evgeny Novikov about 2 years ago. Updated about 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
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 open — 0 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 2 years ago

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

Updated by Evgeny Novikov about 2 years ago

  • Status changed from New to Resolved

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

Actions
Copy link
 #3

Updated by Evgeny Novikov about 2 years 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
Copy link

Also available in: Atom PDF