Add models for dynamic debug printing API
Published in build:
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.
Updated by Evgeny Novikov 8 months 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.
Updated by Evgeny Novikov 7 months 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.