package hegel
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Hegel property-based testing library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
hegel-0.12.2-opam.tar.gz
md5=7e3e9fe22fa27bcbcc702709033ad9a0
sha512=457e53d4c45ef8470645eba6a3c93cf5938ca3f8b1e45fc40121a14d6bb1f7967a8242294ee6d7ddf76f7ff9a2f67b7be6a00eab8970360d65dac789cc039aad
doc/src/hegel.test_runtime/hegel_test_runtime.ml.html
Source file hegel_test_runtime.ml
1 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 64 65 66 67 68 69 70 71 72 73 74 75 76 77(** Runtime registry and runner for [let%hegel_test] tests. See the accompanying [.mli] for the public API. *) type test = { name : string ; file : string ; line : int ; run : unit -> unit } let registry : test list ref = ref [] let registry_lock = Mutex.create () let register ~name ~file ~line run = Mutex.lock registry_lock; registry := { name; file; line; run } :: !registry; Mutex.unlock registry_lock ;; let registered () = Mutex.lock registry_lock; let snapshot = List.rev !registry in Mutex.unlock registry_lock; snapshot ;; let stderr_color code s = let color_enabled = match Sys.getenv_opt "HEGEL_COLOR" with | Some "1" -> true | Some "0" -> false | Some _ | None -> Unix.isatty Unix.stdout in if color_enabled then Printf.sprintf "\027[%sm%s\027[0m" code s else s ;; let green = "32" let red = "31" let run_all () = let tests = registered () in let failures = ref 0 in List.iter (fun t -> match t.run () with | () -> Printf.printf " %s %s (%s:%d)\n%!" (stderr_color green "PASS") t.name t.file t.line | exception e -> incr failures; Printf.printf " %s %s (%s:%d)\n %s\n%!" (stderr_color red "FAIL") t.name t.file t.line (Printexc.to_string e)) tests; !failures ;; let test_main () = let failures = run_all () in if failures > 0 then ( Printf.eprintf "\n%s\n%!" (stderr_color red (Printf.sprintf "%d test(s) failed" failures)); Stdlib.exit 1) else ( Printf.printf "\n%s\n%!" (stderr_color green "All tests passed"); Stdlib.exit 0) ;;
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>