#quickcheck — Public Fediverse posts

Discover the power of property-based testing in R with the #quickcheck package! Seamlessly integrates with #testthat and offers a variety of generators for atomic vectors, lists, and tibbles. Perfect for ensuring your code's reliability. Check it out: https://github.com/armcn/quickcheck #rstats #rprogramming #testing

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

Discover the power of property-based testing in R with the #quickcheck package! Seamlessly integrates with #testthat and offers a variety of generators for atomic vectors, lists, and tibbles. Perfect for ensuring your code's reliability. Check it out: https://github.com/armcn/quickcheck #rstats #rprogramming #testing

Started hacking on a shrinker (reducer) of floats for QCheck a while back - and struggled. Yesterday I finally made some progress and now opened a PR for it:
https://github.com/c-cube/qcheck/pull/357 ✂️ 🔢 🤓

#ocaml #pbt #quickcheck

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch
https://github.com/c-cube/qcheck/pull/319
It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

I've written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading! 🎄🎅 🎁 😄
https://tarides.com/blog/2024-12-23-multicore-property-based-tests-for-ocaml-5-challenges-and-lessons-learned/
#ocaml #pbt #fp #functionalprogramming #quickcheck

I'll visit Paris this week to give a talk about our efforts to drill OCaml 5 with property-based tests: https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Ping me if we should hook up for a coffee or a beer... ☕🍺

#pbt #quickcheck #ocaml

This description from a crash fix PR yesterday by Stephen Dolan put a smile on my face: 😀
"With the old code, the following sequence of unfortunate events can occur, if you are very, very unlucky (or you are @jmid with multicoretests, manufacturing bad luck on an industrial scale):"
https://github.com/ocaml/ocaml/pull/13549
#quickcheck #pbt #propertybasedtesting