class Tests {
- public static int Main () {
- return TestDriver.RunTests (typeof (Tests));
+ public static int Main (string[] args) {
+ return TestDriver.RunTests (typeof (Tests), args);
}
public static int test_0_beq () {
ulong b = (ulong)d;
if (b != 1000)
return 0;
+ a = 0xffffffffffffffff;
+ float f = (float)a;
+ if (!(f > 0f))
+ return 1;
return 4;
}