Project

General

Profile

Actions
Copy link

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
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

Also available in: Atom PDF