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