Chaque fois que j'utilise QuickChick dans Coq, il a une valeur par défaut de 10000 tests. Y at-il un moyen de modifier cette valeur par défaut pour générer un nombre différent de tests?Nombre de tests aléatoires générés par QuickChick dans Coq
J'ai trouvé un moyen:
Extract Constant Test.defNumTests => "42".
QuickChick test_predicate.
testerons test_predicate jusqu'à 42 fois:
+++ Passed 42 tests (0 discards)
Vous pouvez également essayer d'utiliser QuickChickWith, stdArgs et updMaxSuccess comme suit:
QuickChickWith (updMaxSuccess stdArgs 42) test_predicate.
Cependant, la plupart du temps j'utilise votre e xtraction pirater pour éviter les grands nombres naturels.