x-maintenance-intent entriesQCheck.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_smallNo 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_printableqcheck-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_threadbytes 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_parLin_thread.lin_prop and Lin_effect.lin_propLin 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.