[ANN] qcheck-lin and qcheck-stm 0.2

Community
, ,
7

Version 0.9 of qcheck-lin, qcheck-stm, and qcheck-multicoretests-util is now available from your favorite opam repository! :tada:

The 0.9 release contains adjustments to the public interface of Lin in order to make it compatible with 5.5.0+trunk and also switches the Util.Pp pretty printers to use QCheck.Print for consistency:

  • #566: Use QCheck.Print combinators in Util.Pp too for consistency, e.g., to avoid that STM argument and result printer outputs differ.

  • #562: Fix the int32 and int64 printers in both Lin and STM to add missing l and L suffixes on literals.

  • #560: Change Lin.{constructible,deconstructible} from an empty variant type
    to an abstract type to get Lin compiling on 5.5.0+trunk again, due to ocaml/ocaml#13994 removing special handling of abstract and empty variants defined in the current module.

Happy testing! :smiley:

1 Like