Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
QCheck.Print
combinators in Util.Pp
too for consistency, e.g., to avoid that STM
argument and result printer outputs differ.int32
and int64
printers in both Lin
and STM
to add missing l
and L
suffixes on literals.Lin.{constructible,deconstructible}
from an empty variant type to an abstract type to get Lin
compiling on 5.5.0+trunk
again, due to https://github.com/ocaml/ocaml/pull/13994 removing special handling of abstract and empty variants defined in the current module.Lin_thread
and STM_thread
by utilizing Gc.Memprof
callbacks. Avoid on 5.0-5.2 without Gc.Memprof
support.Lin
's default string
and bytes
shrinkers.Util.Pp.{cst4,cst5}
Lin
combinators seq_small
, array_small
, and list_small
No changes to the opam-released library packages. Two significant additions to the test suite in the multicoretests
opam package:
Gen.exponential
combinator in STMqcheck.0.23
, simplify show functions by utilizing it, and update expect outputs accordinglyUtil.Pp.pp_fun_
printer for generated QCheck.fun_
functions--verbose
in internal mutable_set_v5
expect test to avoid a test failure on a slow machineLin_domain.stress_test
as a lighter stress test, not requiring an interleaving search.STM_domain.stress_test_par
, similar to Lin_domain.stress_test
for STM models.arb_cmds
to use an exponential distribution with a mean of 10, avoiding lists of up to 10000 cmds in STM_sequential
(reported by @nikolaushuber).STM
's next_state
for a nicer UXLin
's sequential consistency search, as part of an Out_channel
test cleanupUtil.Pp
pretty-printers and teach them to add break hints similar to ppx_deriving.show
; teach to_show
to generate truncated strings when $MCTUTILS_TRUNCATE
environment variable is setSTM_domain.agree_prop_par_asym
from using Semaphore.Binary
to using an int Atomic.t
which improves the error rate across platforms and backends#342: Add two submodules of combinators in Util
:
Pp
to pretty-print values back to valid OCaml syntaxEqual
to test equality of valuesBytes.t
combinators to Lin
: bytes
, bytes_small
, bytes_small_printable
qcheck-lin
and qcheck-stm
on OCaml 4.12.x, 4.13.x and 4.14.x without the Domain
and Effect
modesrep_count
in STM_thread
so that negative and positive tests repeat equally many timesSTM_domain
and STM_thread
bytes
printed with STM
's bytes
combinator#295: ensure cleanup
is run in the presence of exceptions in
STM_sequential.agree_prop
and STM_domain.agree_prop_par
Lin_thread.lin_prop
and Lin_effect.lin_prop
Lin
testSTM
's string
combinatorThe initial opam release of qcheck-lin
, qcheck-stm
, and qcheck-multicoretests-util
.
The multicoretests
package is not released on opam, as it is of limited use to OCaml developers.