コード例 #1
0
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;
}
コード例 #2
0
ファイル: timer.c プロジェクト: seL4/sel4test
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();
}