-
Thomas Woerner authored
warning[SC2166]: Prefer [ p ] || [ q ] as [ p -o q ] is not well defined.
Thomas Woerner authoredwarning[SC2166]: Prefer [ p ] || [ q ] as [ p -o q ] is not well defined.
warning[SC2166]: Prefer [ p ] || [ q ] as [ p -o q ] is not well defined.
warning[SC2166]: Prefer [ p ] || [ q ] as [ p -o q ] is not well defined.