C++ (Cpp) anyfloatの例

コード例 #1

void runSuccess() {
    lroundf(1.0f);
    lroundf(0.0f);
    lroundf(43.56f);
    lroundf(-2.5f);
    lroundf(anyfloat());
}

コード例 #2

void runSuccess() {
    expf(0.0f);
    expf(1.0f);
    expf(-1.0f);
//    expf(NAN);
    expf(INFINITY);
    expf(anyfloat());
}

コード例 #3

void runSuccess() {
    coshf(0.0f);
    coshf(1.0f);
    coshf(-1.0f);
    coshf(anyfloat());
//    coshf(NAN);
    coshf(INFINITY);
}

コード例 #4

void runSuccess() {
    log2f(1.0f);
    log2f(0.0f);
    log2f(-1.0f);
    log2f(outrange());
    log2f(inrange());
    log2f(anyfloat());
}

コード例 #5

void testValues() {
    f = 2;
    long int result;
    
    lroundf(anyfloat());
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

コード例 #6

void runSuccess() {
    acoshf(1.0f);
    acoshf(0.0f);
    acoshf(-1.0f);
    acoshf(2.0f);
    acoshf(-2.0f);
    acoshf(NAN);
    acoshf(INFINITY);
    acoshf(inrange());
    acoshf(outrange());
    acoshf(anyfloat());
}

コード例 #7

void runSuccess() {
    scalbnf(1.0f, 1);
    scalbnf(0.0f, 0);
    scalbnf(-1.0f, -1);
    scalbnf(anyfloat(), anyint());
}