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());
}
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;
}
void runSuccess() {
floorl(1.0L);
floorl(0.0L);
floorl(43.56L);
floorl(-2.5L);
floorl(anylongdouble());
}
void runSuccess() {
rintl(1.0L);
rintl(0.0L);
rintl(43.56L);
rintl(-2.5L);
rintl(anylongdouble());
}
void runSuccess() {
erfcl(0.0L);
erfcl(1.0L);
erfcl(-1.0L);
erfcl(56.5L);
erfcl(anylongdouble());
}
void testValues() {
f = 2;
double result;
fabsl(anylongdouble());
//@ assert f == 2;
//@ assert vacuous: \false;
}
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());
}
void runSuccess() {
exp2l(0.0L);
exp2l(1.0L);
exp2l(-1.0L);
exp2l(anylongdouble());
}
void runSuccess() {
fabsl(1.0L);
fabsl(0.0L);
fabsl(-1.0L);
fabsl(anylongdouble());
}
void runSuccess() {
cbrtl(1.0L);
cbrtl(0.0L);
cbrtl(-1.0L);
cbrtl(anylongdouble());
}
