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