summaryrefslogtreecommitdiff
path: root/test-suite/unit-tests/clib/inteq.ml
blob: 89717c79d53ee2db559776ac8d86005f7fd3e190 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
open Utest

let log_out_ch = open_log_out_ch __FILE__

let eq0 = mk_bool_test "clib-inteq0"
            "Int.equal on 0"
            (Int.equal 0 0)

let eq42 = mk_bool_test "clib-inteq42"
             "Int.equal on 42"
             (Int.equal 42 42)

let tests = [ eq0; eq42 ]

let _ = run_tests __FILE__ log_out_ch tests