package qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8
doc/index.html
qcheck-multicoretests-util
The package offers a Util
module with a number of reusable functions handy for multicore testing.
An example
For example, the function Util.repeat
is handy to repeatedly test a non-deterministic property that may behave differently on repeated reruns.
Consider a regular QCheck
test such as the following:
open QCheck
let test =
Test.make ~name:"example test" small_int some_int_property
The following adaption of test
will now fail if just one of the 50 repetitions fail to satisfy the tested property:
let test =
Test.make ~name:"example test with repetition"
small_int (Util.repeat 50 some_int_property)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page