Use QCheck for the random test suite
One of the main motivation for this change is that QCheck allows us to use a shrinker, providing more concise counter examples.
Edited by MARTINOT Olivier
[En cours] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
[In progress] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
La mise à jour de sécurité de ce mercredi 18/09/2024 est terminé. Nous sommes désormais en version 17.2.7 .
One of the main motivation for this change is that QCheck allows us to use a shrinker, providing more concise counter examples.