Re: [XEN PATCH 1/3] docs/misra: add documentation skeleton for MISRA C:2012 Dir 4.1

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

> > +Documentation for MISRA C:2012 Dir 4.1: invariant violation
> > +___________________________________________________________
> > +
> > +To be written.
> What's an invariant violation?
It's the violation of a project invariant (e.g., an assert or 
BUILD_BUG).
Something along the lines of this could fit in the documentation:
"The extensive checks in the code ensure that any violation of a
compile-time invariant will be detected in prior to release builds, and 
failure
of run-time invariant is also extensively tested."

--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)