libqcheck-lin-ocaml-dev - 0.7-3+b1 main

Allows for testing an API for sequential consistency. I.e.
it performs a sequence of random commands in parallel,
records the results and checks whether the observed results
can be liniarized and reconciled with some sequential
execution. The library offers an embedded, combinator DSL
to describe signatures succinctly.