Project

General

Profile

Actions
Copy link

Feature #11828

closed

Add models for dynamic debug printing API

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

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
Start date:
08/17/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

During evaluating changes caused by support of static local variables (#11782) we revealed that a lot of them come from using the dynamic debug printing API. It introduces quite much extra code that does not represent anything valuable from the verification point of view. So corresponding models can reduce an overhead.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

I did this in branch dynamic-debug-api-models. Moreover, CI already passed tests without any differences. So now a more comprehensive evaluation is performed.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Evaluation on a subset of Linux 5.19-rc7 drivers did not reveal any considerable changes even though some ones were believed to happen. So I merged the branch to master in 3cd5df9a8.

Actions
Copy link

Also available in: Atom PDF