Adding tests for Int and Int64

ocaml · May 11, 2021 · fadd9a0 · fadd9a0
1 parent 1119bd6
commit fadd9a0
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 0 deletions.
diff --git a/testsuite/tests/basic/boxedints.ml b/testsuite/tests/basic/boxedints.ml
@@ -37,6 +37,8 @@ module type TESTSIG = sig
     val div: t -> t -> t
     val unsigned_div: t -> t -> t
     val rem: t -> t -> t
+    val min: t -> t -> t
+    val max: t -> t -> t
     val logand: t -> t -> t
     val logor: t -> t -> t
     val logxor: t -> t -> t
@@ -227,6 +229,10 @@ struct
        11, 1234567, -12345678];
     test 12 (rem min_int (of_int (-1))) (of_int 0);
 
+    testing_function "min/max";
+    test 1 (max (of_int 2) (of_int 3)) (of_int 3);
+    test 2 (min (of_int 2) (of_int 3)) (of_int 2);
+
     testing_function "and";
     List.iter
       (fun (n, a, b, c) -> test n (logand (of_string a) (of_string b))
@@ -487,6 +493,10 @@ struct
        11, 1234567, -12345678];
     test 12 (rem min_int (of_int (-1))) (of_int 0);
 
+    testing_function "min/max";
+    test 1 (max (of_int 2) (of_int 3)) (of_int 3);
+    test 2 (min (of_int 2) (of_int 3)) (of_int 2);
+
     testing_function "and";
     List.iter
       (fun (n, a, b, c) -> test n (logand (of_string a) (of_string b))

diff --git a/testsuite/tests/basic/boxedints.reference b/testsuite/tests/basic/boxedints.reference
@@ -23,6 +23,8 @@ unsigned_div
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11...
 mod
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12...
+min/max
+ 1... 2...
 and
  1... 2... 3... 4... 5...
 or
@@ -66,6 +68,8 @@ unsigned_div
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11...
 mod
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12...
+min/max
+ 1... 2...
 and
  1... 2... 3... 4... 5...
 or
@@ -105,6 +109,8 @@ unsigned_div
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11...
 mod
  1... 2... 3... 4... 5... 6... 7... 8... 9... 10... 11... 12...
+min/max
+ 1... 2...
 and
  1... 2... 3... 4... 5...
 or

diff --git a/testsuite/tests/lib-int/test.ml b/testsuite/tests/lib-int/test.ml
@@ -57,6 +57,11 @@ let test_string_conv () =
   assert (Int.of_string "" = None); *)
   ()
 
+let test_min_max () =
+  assert (Int.max 2 3 = 3);
+  assert (Int.min 2 3 = 2)
+
+
 let tests () =
   test_consts ();
   test_arith ();
@@ -65,6 +70,7 @@ let tests () =
   test_compare ();
   test_float_conv ();
   test_string_conv ();
+  test_min_max ();
   ()
 
 let () =

diff --git a/testsuite/tests/lib-int64/test.ml b/testsuite/tests/lib-int64/test.ml
@@ -56,6 +56,10 @@ let test_string_conv () =
   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 ();
@@ -64,6 +68,7 @@ let tests () =
   test_compare ();
   test_float_conv ();
   test_string_conv ();
+  test_min_max ();
   ()
 
 let () =