← Policy gallery

misra_c_no_mandatory_deviation

coding-standards conformance pure_temporal coding-standardmisramisra-cdeviationsrag-red

No deviation is raised against a Mandatory guideline.

Formula

G(Deviation → ¬targets_mandatory)

Why it matters

MISRA Compliance:2020: Mandatory guidelines cannot be deviated; a deviation may only target a Required or (re-categorized) Advisory guideline.

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_deviation --into ./trace.json
ponens trace check ./trace.json