More test

ocaml · May 4, 2021 · f90daf0 · f90daf0
1 parent f5b312d
commit f90daf0
Show file tree

Hide file tree

Showing 2 changed files with 16 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