automation/eclair: update configuration of Rule 20.7

[XEN PATCH v2 0/2] automation/eclair: update configuration of Rule 20.7

Federico Serafini posted 2 patches 1 year, 1 month ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/cover.1725963889.git.federico.serafini@bugseng.com

automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++++
docs/misra/deviations.rst                        | 5 +++++
xen/include/xen/bitmap.h                         | 3 ---
3 files changed, 9 insertions(+), 3 deletions(-)

Expand all Fold all

[XEN PATCH v2 0/2] automation/eclair: update configuration of Rule 20.7

Posted by Federico Serafini 1 year, 1 month ago

Update ECLAIR configuration to deviate some safe violations of Rule 20.7.
Remove redundant comment-based deviations.

Federico Serafini (2):
  automation/eclair: update configuration of Rule 20.7
  xen/bitmap: remove redundant deviations

 automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++++
 docs/misra/deviations.rst                        | 5 +++++
 xen/include/xen/bitmap.h                         | 3 ---
 3 files changed, 9 insertions(+), 3 deletions(-)

-- 
2.34.1