Predicate conditionAlwaysFalse
Holds if condition always evaluates to zero.
Import path
import cpppredicate conditionAlwaysFalse(Expr condition)Holds if condition always evaluates to zero.
import cpppredicate conditionAlwaysFalse(Expr condition)