mbox series

[XEN,0/2] misra: deviations of Rule 16.4

Message ID cover.1714727807.git.federico.serafini@bugseng.com (mailing list archive)
Headers show
Series misra: deviations of Rule 16.4 | expand

Message

Federico Serafini May 3, 2024, 9:58 a.m. UTC 
Define "switch-clause" in terms of the C specification.
Deviate Rule 16.4.

Federico Serafini (2):
  docs/misra: add Terms & Definitions section to rules.rst
  automation/eclair: add deviation for Rule 16.4

 automation/eclair_analysis/ECLAIR/deviations.ecl |  8 ++++++++
 docs/misra/deviations.rst                        | 13 +++++++++++++
 docs/misra/rules.rst                             | 14 ++++++++++++--
 3 files changed, 33 insertions(+), 2 deletions(-)