package qcheck-multicoretests-util

  1. Overview
  2. Docs
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)
OCaml

Innovation. Community. Security.

On This Page
  1. An example