package qcheck-lin
A multicore testing library for OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8
doc/qcheck-lin.thread/Lin_thread/Make_internal/argument-1-Spec/index.html
Parameter Make_internal.Spec
val show_cmd : cmd -> string
show_cmd c
returns a string representing the command c
.
val gen_cmd : cmd QCheck.Gen.t
A command generator.
val shrink_cmd : cmd QCheck.Shrink.t
A command shrinker. To a first approximation you can use QCheck.Shrink.nil
.
val show_res : res -> string
show_res r
returns a string representing the result r
.
val init : unit -> t
Initialize the system under test.
val cleanup : t -> unit
Utility function to clean up t
after each test instance, e.g., for closing sockets, files, or resetting global parameters
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>