fact: Fixpoint testRunner (tests : list Test) : IO unit := match tests with | [] => ret tt | QuickChickTest name args test :: tests => print_endline ("Checking " ++ name ++ "...");; print_endline (show (quickCheckWith args test));; testRunner tests end.
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