-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2023-35c8cc5e07 2023-05-25 01:10:39.287224 -------------------------------------------------------------------------------- Name : ocaml-qcheck Product : Fedora 38 Version : 0.21 Release : 1.fc38 URL : https://c-cube.github.io/qcheck/ Summary : QuickCheck inspired property-based testing for OCaml Description : Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package is a compatibility wrapper for qcheck. New code should use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit. -------------------------------------------------------------------------------- Update Information: Changes in version 0.21: - make `Test.check_result`, `Test.check_cell_exn`, and `Test.check_exn` honor test polarity by raising `Test_unexpected_success` when a negative test (expected to have a counter example), unexpectedly succeeds. - fix issue with `ppx_deriving_qcheck` deriving a generator with unbound `gen` for recursive types [#269](https://github.com/c-cube/qcheck/issues/269) and a related issue when deriving a generator for a record type - fix #241 causing `QCheck.Shrink.int*` to emit duplicates, also affecting `QCheck.Shrink.{char,string}` - fix a cornercase where `Shrink.list_spine` would emit duplicates -------------------------------------------------------------------------------- ChangeLog: * Tue May 16 2023 Jerry James <loganjerry@xxxxxxxxx> - 0.21-1 - Version 0.21 * Tue Mar 21 2023 Jerry James <loganjerry@xxxxxxxxx> - 0.20-4 - Rebuild for ocaml-alcotest 1.7.0 -------------------------------------------------------------------------------- References: [ 1 ] Bug #2192729 - ocaml-qcheck-0.21 is available https://bugzilla.redhat.com/show_bug.cgi?id=2192729 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2023-35c8cc5e07' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue