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

Message

Federico Serafini Sept. 10, 2024, 10:50 a.m. UTC

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