← Policy gallery

misra_c_no_mandatory_violation

coding-standards conformance pure_temporal coding-standardmisramisra-ccategoriesrag-red

Mandatory guidelines are never violated — no deviation is permitted against a Mandatory guideline.

Formula

G(¬mandatory_violation)

Why it matters

MISRA Compliance:2020: all Mandatory guidelines must be followed to achieve compliance; deviations are not allowed.

Examples

passes the compliance-process step is evidenced

fails the required compliance artifact/step is absent

Use it

ponens policies add misra_c_no_mandatory_violation --into ./trace.json
ponens trace check ./trace.json