4 packages from c-cube/qcheck at 0.26

[jmid]

This pull-request concerns:

• qcheck.0.26: Compatibility package for QCheck
• qcheck-alcotest.0.26: Alcotest backend for QCheck
• qcheck-core.0.26: Core QCheck library
• qcheck-ounit.0.26: OUnit backend for QCheck

---

• Homepage: https://github.com/c-cube/qcheck/
• Source repo: git+https://github.com/c-cube/qcheck.git
• Bug tracker: https://github.com/c-cube/qcheck/issues

---

🐫 Pull-request generated by opam-publish v2.5.0

[jmid]

CI summary:

• containers failures addressed in Upper bound qcheck-core in containers 3.9-3.16 #28153 and upstream in Patch CBor round-trip QCheck test to hold for nan's too c-cube/ocaml-containers#478
• prbnmcn-stats failures addressed in Upper bound qcheck in prbnmcn-stats 0.0.2-0.0.8 #28154 and upstream in Patch QCheck properties to hold for nan too igarnier/prbnmcn-stats#5
• goblint failures addressed in Upper bound qcheck-core in goblint 2.2.1-2.5.0 #28155 and upstream in Adjust test_FI_div_zero_result_top QCheck test property to account for the 0/0 case goblint/analyzer#1778
• pratters 404s addressed in Fix pratter 404s #28156

A bunch of octez/tezos failures remain. Of these ~49 are curl failures mostly (temporarily) failing to fetch
asn1-combinators. For the rest there's one run with a time out and one with an assertion failure:

• octez-smart-rollup-wasm-debugger.16.0 timed out
• tezos-client-010-PtGRANAD.17.3 "No space left on device"
• tezos-client-017-PtNairob.17.3 "No space left on device"
• octez-libs.18.1 - ASSERT expects 5 requests - File "src/lib_requester/test/test_requester.ml", line 211, character 2: [...]
• tezos-client-007-PsDELPH1.17.3 - "No space left on device"
• tezos-client-011-PtHangz2.17.3 - "No space left on device"
• tezos-client-012-Psithaca.17.3 - "No space left on device"
• tezos-client-015-PtLimaPt.17.3 - "No space left on device"
• tezos-client-016-PtMumbai.17.3 - "No space left on device"
• tezos-client-017-PtNairob.17.3 - "No space left on device"
• tezos-client-alpha.17.3 - "No space left on device"
• tezos-client-base-unix.17.3 - "No space left on device"

By now we are used to seeing tezos test failures on all previous qcheck releases #27711 #27468, #27086, #26196, ..., so this shouldn't raise any eyebrows 🤷

[jmid]

The upstream fixes have now been acknowledged. I suggest either

• waiting for the above 4 opam-repo PRs to be merged (please go ahead! 🙂) and then rebasing this one afterwards to confirm the fixes 🤓 or
• just merging as is 🤷

[mseri]

I think we can simply merge. Thanks for the fixes