package qcheck-lin
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8
doc/qcheck-lin.domain/Lin_domain/Make/index.html
Module Lin_domain.Make
Source
Functor to build a module for parallel testing
Parameters
Signature
lin_test ~count:c ~name:n
builds a parallel test with the name n
that iterates c
times. The test fails if one of the generated programs is not sequentially consistent. In that case it fails, and prints a reduced counter example.
neg_lin_test ~count:c ~name:n
builds a negative parallel test with the name n
that iterates c
times. The test fails if no counter example is found, and succeeds if a counter example is indeed found, and prints it afterwards.
stress_test ~count:c ~name:n
builds a parallel test with the name n
that iterates c
times. The test fails if an unexpected exception is raised underway. It is intended as a stress test to run operations at a high frequency and detect unexpected exceptions or crashes. It does not perform an interleaving search like lin_test
and neg_lin_test
.