alcotest_lwt.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63(*****************************************************************************) (* *) (* Open Source License *) (* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com> *) (* *) (* Permission is hereby granted, free of charge, to any person obtaining a *) (* copy of this software and associated documentation files (the "Software"),*) (* to deal in the Software without restriction, including without limitation *) (* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) (* and/or sell copies of the Software, and to permit persons to whom the *) (* Software is furnished to do so, subject to the following conditions: *) (* *) (* The above copyright notice and this permission notice shall be included *) (* in all copies or substantial portions of the Software. *) (* *) (* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) (* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) (* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) (* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) (* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) (* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) (* DEALINGS IN THE SOFTWARE. *) (* *) (*****************************************************************************) open Tezt_core open Tezt_core.Base type return = unit Lwt.t type speed_level = [`Quick | `Slow] type 'a test_case = string * speed_level * ('a -> return) let test_case name speed_level body = (* Not sure this is the right way to create the switch, maybe it should have a larger scope. *) let body args = Lwt_switch.with_switch (fun sw -> body sw args) in (name, speed_level, body) let test_case_sync name speed_level body = let body arg = body arg ; unit in (name, speed_level, body) type 'a test = string * 'a test_case list let run ~__FILE__ library_name tests = let = Alcotezt_utils.is_proto_test __FILE__ in (tests |> List.iter @@ fun (test_name, test_cases) -> test_cases |> List.iter @@ fun (test_case_name, speed_level, body) -> let = "alcotezt" :: (match speed_level with `Quick -> ["quick"] | `Slow -> ["slow"]) @ proto_tags in let title = sf "%s: %s (%s)" library_name test_name test_case_name in Test.register ~__FILE__ ~title ~tags @@ fun () -> body ()) ; unit