int main() { __float128 a = 0.0; __float128 b = 1.0; int r; r = test_lt (a, b); if (r != ((double) a < (double) b)) abort(); r = test_gt (a, b); if (r != ((double) a > (double) b)) abort(); return 0; }
int test_gettime_timeout(driver_env_t env) { int error = 0; uint64_t start, end; start = timestamp(env); error = ltimer_set_timeout(&env->timer.ltimer, 1 * NS_IN_MS, TIMEOUT_PERIODIC); test_assert_fatal(!error); for (int i = 0; i < 3; i++) { wait_for_timer_interrupt(env); ZF_LOGV("Tick\n"); } end = timestamp(env); test_gt(end, start); error = ltimer_reset(&env->timer.ltimer); test_assert_fatal(!error); return sel4test_get_result(); }