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.lin/Lin/MakeCmd/index.html
Module Lin.MakeCmd
Source
Functor to map a combinator-based module signature description into a raw Lin
description. This functor is exposed for internal uses only, its API may change at any time.
Parameters
Signature
The type of the system under test
The type of commands
A command generator.
A command shrinker. To a first approximation you can use QCheck.Shrink.nil
.
The command result type
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)"
>
On This Page