Mentions légales du service

Skip to content

Use QCheck for the random test suite

MARTINOT Olivier requested to merge omartino/inferno:qcheck into master

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

Merge request reports