testsuite/tests/c-api/test_c_thread_has_lock.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(* TEST
   modules = "test_c_thread_has_lock_cstubs.c"
   * bytecode
   * native
*)

external test_with_lock : unit -> bool = "with_lock"
external test_without_lock : unit -> bool = "without_lock"

let passed b = Printf.printf (if b then "passed\n" else "failed\n")

let f () =
  passed (not (test_without_lock ())) ;
  passed (test_with_lock ())

let _ =
  f ();