summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib-dynlink-init-info/test.ml
blob: c6105dd752f1213956f98b30e2570a563fb13952 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
(* TEST
   include dynlink
*)

(* Make sure dynlink state info is accurate before any load
   occurs #9338. *)

let test () =
  assert (List.mem "Dynlink" (Dynlink.main_program_units ()));
  assert (List.mem "Dynlink" (Dynlink.all_units ()));
  ()

let () = test (); print_endline "OK"