ckd_sub
ATF_TC_WITHOUT_HEAD(ckd_sub);
ATF_TC_BODY(ckd_sub, tc)
ATF_CHECK(!ckd_sub(&result, INT_MIN, 0));
ATF_CHECK(ckd_sub(&result, INT_MIN, 1));
ATF_TP_ADD_TC(tp, ckd_sub);
if (ckd_sub(&lowa, cvp->a, diff_context) || lowa < 1)
if (ckd_sub(&lowc, cvp->c, diff_context) || lowc < 1)
if (ckd_sub(&lowa, cvp->a, diff_context) || lowa < 1)
if (ckd_sub(&lowc, cvp->c, diff_context) || lowc < 1)