1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
|
(* TEST
*)
let test_consts () =
assert (Int64.zero = 0L);
assert (Int64.one = 1L);
assert (Int64.minus_one = -1L);
()
let test_arith () =
assert (Int64.add 2L 4L = 6L);
assert (Int64.sub 6L 2L = 4L);
assert (Int64.mul 6L 2L = 12L);
assert (Int64.div 12L 2L = 6L);
assert (Int64.rem 5L 2L = 1L);
assert (Int64.succ 5L = 6L);
assert (Int64.pred 5L = 4L);
assert (Int64.abs (-5L) = 5L);
assert (Int64.abs 5L = 5L);
()
let test_logops () =
assert (Int64.logand 0xF0F0L 0xFFFFL = 0xF0F0L);
assert (Int64.logor 0xF0FFL 0x0F0FL = 0xFFFFL);
assert (Int64.logxor 0xF0FFL 0x0F0FL = 0xFFF0L);
assert (Int64.lognot Int64.max_int = Int64.min_int);
assert (Int64.shift_left 1L 4 = 16L);
assert (Int64.shift_right 16L 4 = 1L);
assert (Int64.shift_right (-16L) 4 = (-1L));
assert (Int64.shift_right (-16L) 4 = (-1L));
assert (Int64.shift_right_logical Int64.min_int 63 = 1L);
()
let test_equal () =
assert (Int64.equal 1L 1L = true);
assert (Int64.equal 1L 0L = false);
()
let test_compare () =
assert (Int64.compare 3L 3L = 0);
assert (Int64.compare 3L 4L = (-1));
assert (Int64.compare 4L 3L = 1);
assert (Int64.compare (-4L) 3L = -1);
assert (Int64.compare 3L (-4L) = 1);
()
let test_float_conv () =
assert (Int64.to_float 5L = 5.0);
assert (Int64.of_float 5. = 5L);
assert (Int64.of_float 5.9 = 5L);
()
let test_string_conv () =
assert (Int64.to_string 50L = "50");
(* assert (Int64.of_string "50" = Some 50);
assert (Int64.of_string "" = None); *)
()
let test_min_max () =
assert (Int64.max 2L 3L = 3L);
assert (Int64.min 2L 3L = 2L)
let tests () =
test_consts ();
test_arith ();
test_logops ();
test_equal ();
test_compare ();
test_float_conv ();
test_string_conv ();
test_min_max ();
()
let () =
tests ();
print_endline "OK"
|