Esempi in C++ (Cpp) per anydouble

Esempio n. 1

void runSuccess() {
    lrint(1.0);
    lrint(0.0);
    lrint(43.56);
    lrint(-2.5);
    lrint(anydouble());
}

Esempio n. 2

void runSuccess() {
    asinh(1.0);
    asinh(0.0);
    asinh(-1.0);
    asinh(2.0);
    asinh(-2.0);
    asinh(anydouble());
}

Esempio n. 3

void runSuccess() {
    log(1.0);
    log(0.0);
    log(-1.0);
    log(outrange());
    log(inrange());
    log(anydouble());
}

Esempio n. 4

void testValues() {
    f = 2;
    double result;
    
    fabs(anydouble());
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Esempio n. 5

void runSuccess() {
    asin(1.0);
    asin(0.0);
    asin(-1.0);
    asin(2.0);
    asin(-2.0);
    asin(inrange());
    asin(outrange());
    asin(anydouble());
}

Esempio n. 6

void testValues() {
    f = 2;
    
    int d,n;
    char* result = fcvt(anydouble(), anyint(), &d, &n);
    //@ assert \valid(result);

    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Esempio n. 7

void runFailure1() {
    frexp(anydouble(), NULL);
}

Esempio n. 8

void runFailure() {
    fcvt(anydouble(), anyint(), NULL, NULL);
}

Esempio n. 9

void runSuccess() {
    int d,n;
    fcvt(anydouble(), anyint(), &d, &n);
}

Esempio n. 10

void runSuccess() {
    scalbln(1.0, 1);
    scalbln(0.0, 0);
    scalbln(-1.0, -1);
    scalbln(anydouble(), anyint());
}

Esempio n. 11

void runSuccess() {
    fabs(1.0);
    fabs(0.0);
    fabs(-1.0);
    fabs(anydouble());
}

Esempio n. 12

void runSuccess() {
    isinf(anydouble());
}

Esempio n. 13

void runSuccess() {
    remainder(0.1,4.0);
    remainder(1.2,0.0);
    remainder(2.0,4.3);
    remainder(anydouble(),anydouble());
}