fact: Definition fuzzLoopWith {A} (a : Args) (gen : G A) (fuzz : A -> G A) (print : A -> string) (prop : A -> option bool) := let compFun maxSuccess maxSize n d := maxSize in let (rnd, computeFun) := (newRandomSeed, compFun (maxSize a) (maxSuccess a)) in let st := MkState (maxSuccess a) (maxDiscard a) (maxShrinks a) computeFun 0 0 (Map.empty nat) true rnd 0 0 false in fuzzLoopAux (maxSuccess a + maxDiscard a) st [] [] [] [] random_fuel [] gen fuzz print prop.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrnat ssrbool eqtype div) ExtLib(Structures.Monad) SimpleIO(SimpleIO) QuickChick(RoseTrees RandomQC Generators Producer SemChecker) QuickChick(Show Checker State Classes) Coq.Strings.Ascii Coq.Strings.String List Recdef Arith.EqNat ZArith