Project

General

Profile

Actions

Feature #11828

closed

Add models for dynamic debug printing API

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/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 #1

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

Updated by Evgeny Novikov over 1 year 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

Also available in: Atom PDF