Query module ConstantAssertion

name
Constant assertion
description
Assertions should check dynamic properties of pre-/post-conditions and invariants. Assertions that either always succeed or always fail are an error.
kind
problem
id
cpp/power-of-10/constant-assertion
problem.severity
warning

Imports