TEST_uint64_t_ge
if (!TEST_uint64_t_ge(allowance = ccm->get_tx_allowance(cc), mdpl))
if (!TEST_uint64_t_ge(ccm->get_tx_allowance(cc), mdpl))
if (!TEST_uint64_t_ge(allowance = ccm->get_tx_allowance(cc), 1472))
if (!TEST_uint64_t_ge(allowance2 = ccm->get_tx_allowance(cc), allowance))
if (!TEST_uint64_t_ge(allowance = ccm->get_tx_allowance(cc), 1200 + 1300))
if (!TEST_uint64_t_ge((uint64_t)rxke, hl->check_op->arg2))
if (!TEST_uint64_t_ge(h->fail_count, 50))
|| !TEST_uint64_t_ge(size, avail)
|| !TEST_uint64_t_ge(size, used)
if (!TEST_uint64_t_ge(h->frame.stream.len, 1150)
if (!TEST_uint64_t_ge(h->frame.stream.len, 1150)
if (!TEST_uint64_t_ge(h->frame.stream.len, 5)
if (!TEST_uint64_t_ge(h->frame.stream.len, 5)
if (i == 3 && !TEST_uint64_t_ge(ossl_time2ms(ossl_time_subtract(time_after, time_before)), 100))
if (!TEST_uint64_t_ge(ms, td->val) + !TEST_uint64_t_le(ms, td->val + 20000))
if (!TEST_uint64_t_ge(rtt, 1000))