To improve readability, useless true and false keywords should be removed.
if a = true then -- Noncompliant ... end if; if b = false then -- Noncompliant ... end if; if c /= true then -- Noncompliant ... end if; if d and true then -- Noncompliant ... end if;
With custom forbidden attribute list: val
if a then ... end if; if not b then ... end if; if not c then ... end if; if d then ... end if;