Exemplo n.º 1
0
void runSuccess() {
    hypotl(1.0L, 1.0L);
    hypotl(1.0L, 0.0L);
    hypotl(8.3L, 5.0L);
    hypotl(0.0L, 121.1L);
    hypotl(anylongdouble(), anylongdouble());
}
Exemplo n.º 2
0
void testValues() {
    f = 2;
    double result;
    double x,y;
    
    hypotl(anylongdouble(), anylongdouble());
    
    //x = anylongdouble();
    //y = anylongdouble();
    //result = hypotl(x,y);
    // assert result == \sqrt(\pow(x,2)+\pow(y,2));
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Exemplo n.º 3
0
void runSuccess() {
    floorl(1.0L);
    floorl(0.0L);
    floorl(43.56L);
    floorl(-2.5L);
    floorl(anylongdouble());
}
Exemplo n.º 4
0
void runSuccess() {
    rintl(1.0L);
    rintl(0.0L);
    rintl(43.56L);
    rintl(-2.5L);
    rintl(anylongdouble());
}
Exemplo n.º 5
0
void runSuccess() {
    erfcl(0.0L);
    erfcl(1.0L);
    erfcl(-1.0L);
    erfcl(56.5L);
    erfcl(anylongdouble());
}
Exemplo n.º 6
0
void testValues() {
    f = 2;
    double result;
    
    fabsl(anylongdouble());
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Exemplo n.º 7
0
void runSuccess() {
    atanhl(1.0L);
    atanhl(0.0L);
    atanhl(-1.0L);
    atanhl(2.0L);
    atanhl(-2.0L);
    atanhl(inrange());
    atanhl(outrange1());
    atanhl(outrange2());
    atanhl(anylongdouble());
}
Exemplo n.º 8
0
void runSuccess() {
    exp2l(0.0L);
    exp2l(1.0L);
    exp2l(-1.0L);
    exp2l(anylongdouble());
}
Exemplo n.º 9
0
void runSuccess() {
    fabsl(1.0L);
    fabsl(0.0L);
    fabsl(-1.0L);
    fabsl(anylongdouble());
}
Exemplo n.º 10
0
void runSuccess() {
    cbrtl(1.0L);
    cbrtl(0.0L);
    cbrtl(-1.0L);
    cbrtl(anylongdouble());
}