Searched refs:floating_1 (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dfloat3.c12 static double floating_1(float a, double b, long double c) function
48 floating_1 (f, d, ld);
50 ffi_call(&cif, FFI_FN(floating_1), &rd, values);
52 CHECK(rd - floating_1(f, d, ld) < DBL_EPSILON);

Completed in 21 milliseconds